Document Type
Conference Proceeding
Publication Date
2023
Publication Title
2023 IEEE 31st International Requirements Engineering Conference (RE)
Abstract
Automated analysis has been used in goal-oriented requirements engineering (GORE) to evaluate scenarios and make trade-off decisions. For higher complexity problems (e.g., backwards analysis), using a search-based solver may be more efficient than custom algorithms. When these black-box solvers produce a single solution, users may be suspicious about whether the given answer is ideal or believable. Users would like to explore the potential solutions but are prevented from doing so because these inquiries often suffer from a state explosion problem. In this RE@Next! paper, we introduce the use of valuation-based filtering and coloring to assist users in understanding a solution space and selecting custom states from it. We use the concrete semantics of modeling requirements in the Evolving Intentions framework and its associated goal modeling tool, BloomingLeaf, to explore the application of these visualization techniques. In our initial evaluation, we demonstrate how these techniques can be used on a fully worked out example. We conduct initial measurements of the time savings and state space reduction created by the valuations and color filtering, and discuss future directions of this project.
DOI
10.1109/RE57278.2023.00036
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.
Rights
Licensed to Smith College and distributed CC-BY under the Smith College Faculty Open Access Policy.
Recommended Citation
Baatartogtokh, Yesugen; Foster, Irene; and Grubb, Alicia M., "Visualizations for User-supported State Space Exploration of Requirements Models" (2023). Computer Science: Faculty Publications, Smith College, Northampton, MA.
https://scholarworks.smith.edu/csc_facpubs/361
Comments
Peer reviewed accepted manuscript.
Supplemental material: doi.org/10.35482/csc.003.2023