Visualizations and Filtering to Help People Find their Path
Visualizations and Filtering to Help People Find their Path
复制标题
可视化和过滤帮助人们找到他们的路径
DOI：
10.1145/3545947.3573297
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Foster, Irene
中科院分区：
文献类型：
--
作者：
Baatartogtokh, Yesugen;Foster, Irene
约束满足问题，在计算机科学的许多领域和领域中发现，返回满足给定约束的解决方案。当从通用求解器的解空间中给出单个解时，用户可能希望进一步探索其他替代方案，以找到更好地满足其目标的方案，或者验证现有结果的可信度。然而，试图检查解决方案空间的用户通常会遇到状态爆炸问题，让他们手动筛选每个状态的不切实际的任务。我们的目标是帮助用户更有效地探索状态空间。利用演化意图框架中需求建模的具体语义，我们提出了两种可视化技术：（1）基于赋值的着色，以帮助用户更有效地解释基于路径的分析结果并从解空间中选择状态;（2）基于赋值的过滤，以减少解空间中的状态数。使用一个激励的例子，我们证明了状态空间可视化的需要，我们提供了我们的结果的初步验证。这些可视化技术可以在演化意图框架之外使用，以适应软件工程的其他领域。
Constraint satisfaction problems, found in many areas and domains of computer science, return solutions that satisfy given constraints. When given a single solution out of the solution space from a general-purpose solver users may want to further explore other alternatives to find ones that better meet their aims or to verify the believability of the existing result. However, users attempting to examine the solution space are often confronted with a state explosion problem, leaving them with the unrealistic task of manually sifting through each state. We aimed to assist users in exploring state spaces more efficiently. Using the concrete semantics of requirements modeling in the Evolving Intentions framework, we contribute two visualization techniques:(1) valuation-based coloring to assist users in interpreting the results of the path-based analysis and selecting states from the solution space more efficiently, and (2) valuation-based filtering to reduce the number of states in the solution space. Using a motivating example, we demonstrate the need for state space visualization and we provide an initial validation of our results. These visualization techniques can be used beyond the Evolving Intentions framework, to be adapted to other areas in software engineering.