Goal-Conflict Likelihood Assessment based on Model Counting

Author email: rdegiovanni@dc.exa.unrc.edu.ar
Tool name: Goal-Conflict
Description: In goal-oriented requirements engineering approaches, conflict analysis has been proposed as an abstraction for risk analysis. Intuitively, given a set of expected goals to be achieved by the system-to-be, a conflict represents a subtle situation that makes goals diverge, i.e., not be satisfiable as a whole. Conflict analysis is typically driven by the identify-assess-control cycle, aimed at identifying, assessing and resolving conflicts that may obstruct the satisfaction of the expected goals. In particular, the assessment step is concerned with evaluating how likely the identified conflicts are, and how likely and severe are their consequences. So far, existing assessment approaches restrict their analysis to obstacles (conflicts that prevent the satisfaction of a single goal), and assume that certain probabilistic information on the domain is provided, that needs to be previously elicited from experienced users, statistical data or simulations. In this paper, we present a novel automated approach to assess how likely a conflict is, that applies to general conflicts (not only obstacles) without requiring probabilistic information on the domain. Intuitively, given the LTL formulation of the domain and of a set of goals to be achieved, we compute goal conflicts, and exploit string model counting techniques to estimate the likelihood of the occurrence of the corresponding conflicting situations and the severity in which these affect the satisfaction of the goals. This information can then be used to prioritize conflicts to be resolved, and suggest which goals to drive attention to for refinements.
Bibtex: @INPROCEEDINGS{8453193, author={R. {Degiovanni} and P. {Castro} and M. {Arroyo} and M. {Ruiz} and N. {Aguirre} and M. {Frias}}, booktitle={2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE)}, title={Goal-Conflict Likelihood Assessment Based on Model Counting}, year={2018}, volume={}, number={}, pages={1125-1135}, keywords={formal specification;formal verification;maximum likelihood estimation;risk analysis;systems analysis;goal-conflict likelihood assessment;conflict analysis;risk analysis;goal-oriented requirements engineering;Analytical models;Boundary conditions;Software;Probabilistic logic;Computational modeling;Software engineering;Requirements engineering;Goal Conflicts;Risk Likelihood Assessment;Model Counting}, doi={10.1145/3180155.3180261}, ISSN={1558-1225}, month={May},}
Link to public pdf: https://ieeexplore.ieee.org/abstract/document/8453193
Link to tool webpage: https://sites.google.com/site/goalconflictsmodelcounting/
Link to demo: Not provided by authors
Category: None
Year and Conference: 2018, ICSE
Terms of use