Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
Commonality and Variability in Software Engineering
IEEE Software
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Stratified analytic hierarchy process: prioritization and selection of software features
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Integrating Preferences into Goal Models for Requirements Engineering
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Reasoning with optional and preferred requirements
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Goal-based behavioral customization of information systems
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Identifying a preferred countermeasure strategy for attack graphs
Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop
Reasoning with qualitative preferences to develop optimal component-based systems
Proceedings of the 2013 International Conference on Software Engineering
| Hi-index | 0.00 |
In goal-oriented requirements engineering, a goal model graphically represents relationships between the required goals (functional requirements), tasks (realizations of goals), and optional goals (non-functional properties) involved in designing a system. It may, however, be impossible to find a design that fulfills all required goals and all optional goals. In such cases, it is useful to find designs that provide the required functionality while satisfying the most preferred set of optional goals under the goal model's constraints. We present an approach that considers expressive qualitative preferences over optional goals, as these can model interacting and/or mutually exclusive subgoals. Our framework employs a model checking-based method for reasoning with qualitative preferences to identify the most preferred alternative(s). We evaluate our approach using existing goal models from the literature.