Thu 7 Sep 2023 14:45 - 15:15 at f142 - Modeling Chair(s): Gunter Mussbacher

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.

Thu 7 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:45 - 15:15
ModelingRE@Next! Papers / Research Papers at f142
Chair(s): Gunter Mussbacher McGill University
Analysis and optimisation of SPL products using goal models
Research Papers
A: Inmaculada Ayala Universidad de Málaga, A: Mercedes Amor Universidad de Málaga, A: Lidia Fuentes Universidad de Málaga, Spain
Pre-print File Attached
Discovering runtime requirements from user interactions: ideas and preliminary studies
RE@Next! Papers
A: Tong Li Beijing University of Technology, A: Xinran Zhang Beijing University of Technology, A: Yiting Wang
Media Attached File Attached
Visualizations for User-supported State Space Exploration of Goal Models
RE@Next! Papers
A: Yesugen Baatartogtokh University of Massachusetts Amherst, A: Irene Foster Smith College, A: Alicia M. Grubb Smith College