Multi-objective reasoning with constrained goal models

Published on Jun 1, 2018in Requirements Engineering2.761
· DOI :10.1007/s00766-016-0263-5
Chi Mai Nguyen2
Estimated H-index: 2
(University of Trento),
Roberto Sebastiani39
Estimated H-index: 39
(University of Trento)
+ 1 AuthorsJ. Mylopolous78
Estimated H-index: 78
(University of Trento)
Goal models have been widely used in computer science to represent software requirements, business objectives, and design qualities. Existing goal modelling techniques, however, have shown limitations of expressiveness and/or tractability in coping with complex real-world problems. In this work, we exploit advances in automated reasoning technologies, notably satisfiability and optimization modulo theories (SMT/OMT), and we propose and formalize: (1) an extended modelling language for goals, namely the constrained goal model (CGM), which makes explicit the notion of goal refinement and of domain assumption, allows for expressing preferences between goals and refinements and allows for associating numerical attributes to goals and refinements for defining constraints and optimization goals over multiple objective functions, refinements, and their numerical attributes; (2) a novel set of automated reasoning functionalities over CGMs, allowing for automatically generating suitable refinements of input CGMs, under user-specified assumptions and constraints, that also maximize preferences and optimize given objective functions. We have implemented these modelling and reasoning functionalities in a tool, named CGM-Tool, using the OMT solver OptiMathSAT as automated reasoning backend. Moreover, we have conducted an experimental evaluation on large CGMs to support the claim that our proposal scales well for goal models with 1000s of elements.
  • References (41)
  • Citations (24)
📖 Papers frequently viewed together
1 Author (Chi Mai Nguyen)
1 Citations
2015CAV: Computer Aided Verification
59 Citations
41 Citations
78% of Scinapse members use related papers. After signing in, all features are FREE.
#1Clark Barrett (Stanford University)H-Index: 29
#2Cesare Tinelli (UI: University of Iowa)H-Index: 31
Satisfiability Modulo Theories (SMT) refers to the problem of determining whether a first-order formula is satisfiable with respect to some logical theory. Solvers based on SMT are used as back-end engines in model-checking applications such as bounded, interpolation-based, and predicate-abstraction-based model checking. After a brief illustration of these uses, we survey the predominant techniques for solving SMT problems with an emphasis on the lazy approach, in which a propositional satisfiab...
616 CitationsSource
#1Chi Mai Nguyen (University of Trento)H-Index: 2
#2Roberto Sebastiani (University of Trento)H-Index: 39
Last. John Mylopoulos (University of Trento)H-Index: 73
view all 4 authors...
We are interested in supporting software evolution caused by changing requirements and/or changes in the operational environment of a software system. For example, users of a system may want new functionality or performance enhancements to cope with growing user population (changing requirements). Alternatively, vendors of a system may want to minimize costs in implementing requirements changes (evolution requirements). We propose to use Constrained Goal Models (CGMs) to represent the requiremen...
6 CitationsSource
Jun 1, 2016 in RCIS (Research Challenges in Information Science)
#1Konstantinos Angelopoulos (University of Trento)H-Index: 8
#2Fatma Basak Aydemir (University of Trento)H-Index: 5
Last. J. Mylopolous (University of Trento)H-Index: 78
view all 4 authors...
Dealing with multiple requirement failures is an essential capability for self-adaptive software systems. This capability becomes more challenging in the presence of conflicting goals. This paper is concerned with the next adaptation problem: the problem of finding the best next adaptation in the presence of multiple failures. ‘Best’ here means that the adaptation chosen optimizes a given set of objective functions, such as the cost of adaptation or the degree of failure for system requirements....
3 CitationsSource
Jul 18, 2015 in CAV (Computer Aided Verification)
#1Roberto Sebastiani (University of Trento)H-Index: 39
#2Patrick Trentin (University of Trento)H-Index: 4
59 CitationsSource
Apr 11, 2015 in TACAS (Tools and Algorithms for Construction and Analysis of Systems)
#1Roberto Sebastiani (University of Trento)H-Index: 39
#2Patrick Trentin (University of Trento)H-Index: 4
In the last decade we have witnessed an impressive progress in the expressiveness and efficiency of Satisfiability Modulo Theories SMT solving techniques. This has brought previously-intractable problems at the reach of state-of-the-art SMT solvers, in particular in the domain of SW and HW verification. Many SMT-encodable problems of interest, however, require also the capability of finding models that are optimal wrt. some cost functions. In previous work, namely Optimization Modulo Theory with...
21 CitationsSource
#1Roberto Sebastiani (University of Trento)H-Index: 39
#2Silvia Tomasi (University of Trento)H-Index: 4
41 CitationsSource
#1Neil A. Ernst (UBC: University of British Columbia)H-Index: 20
#2Alexander Borgida (RU: Rutgers University)H-Index: 39
Last. J. Mylopolous (University of Trento)H-Index: 78
view all 4 authors...
Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional ...
15 CitationsSource
#1Jennifer Horkoff (U of T: University of Toronto)H-Index: 21
#2Eric Yu (U of T: University of Toronto)H-Index: 47
Goal-oriented requirements engineering (GORE) has been introduced as a means of modeling and understanding the motivations for system requirements. Using models to make goals explicit helps to avoid system failures due to implementing the wrong requirements or ignoring certain stakeholder needs. These models are unique when compared to other models used in system analysis in that their structure naturally lends itself to an analysis of goal satisfaction. Existing work claims that analysis using ...
96 CitationsSource
#1Alexander Borgida (RU: Rutgers University)H-Index: 39
#2Fabiano Dalpiaz (U of T: University of Toronto)H-Index: 23
Last. J. Mylopolous (University of Trento)H-Index: 78
view all 4 authors...
In this position paper we review the history of requirements models and conclude that a goal-oriented perspective offers a suitable abstraction for requirements analysis. We stake positions on the nature of modelling languages in general, and requirements modelling languages in particular. We then sketch some of the desirable features (... "requirements") of design-time and runtime requirements models and draw conclusions about their similarities and differences.
6 CitationsSource
Sep 24, 2012 in RE (IEEE International Conference on Requirements Engineering)
#1Sotirios Liaskos (York University)H-Index: 16
#2Rina Jalman (York University)H-Index: 2
Last. Jorge Aranda (UVic: University of Victoria)H-Index: 11
view all 3 authors...
Goal models have been found to be useful for supporting the decision making process in the early requirements phase. Through measuring contribution degrees of low-level decisions to the fulfilment of high-level quality goals and combining them with priority statements, it is possible to compare alternative solutions of the requirements problem against each other. But where do contribution measures come from and what is the right way to combine them in order to do such analysis? In this paper we ...
29 CitationsSource
Cited By24
#1Mattia Salnitri (Polytechnic University of Milan)H-Index: 7
Last. Paolo Giorgini (University of Trento)H-Index: 42
view all 6 authors...
Personal data have become a central asset for multiple enterprise applications and online services offered by private companies, public organisations or a combination of both. The sensitivity of such data and the continuously growing legislation that accompanies their management dictate the development of methods that allow the development of more secure, trustworthy software systems with focus on privacy protection. The contribution of this paper is the definition of a novel requirements engine...
2 CitationsSource
#1Khavee Agustus Botangen (AUT: Auckland University of Technology)H-Index: 2
#2Jian Yu (AUT: Auckland University of Technology)H-Index: 16
Last. Quan Z. Sheng (Macquarie University)H-Index: 37
view all 4 authors...
Optimization Modulo Theories (OMT) is an extension of SMT that allows for finding models that optimize objective functions. In this paper we aim at bridging the gap between Constraint Programming (CP) and OMT, in both directions. First, we have extended the OMT solver OptiMathSAT with a FlatZinc interface -- which can also be used as a FlatZinc-to-OMT encoder for other OMT solvers. This allows OMT tools to be used in combination with mzn2fzn on the large amount of CP problems coming from the Min...
#1Kanglin YinH-Index: 1
#2Qingfeng DuH-Index: 2
Last. Jincheng XuH-Index: 1
view all 5 authors...
Together with the spread of DevOps practices and container technologies, Microserivce Architecture has become a mainstream architecture style in recent years. Resilience is a key characteristic in Microservice Architecture Systems(MSA Systems), and it shows the ability to cope with various kinds of system disturbances which cause degradations of services. However, due to lack of consensus definition of resilience in the software field, although many works have been done on resilience for MSA Sys...
1 Citations
Jun 3, 2019 in CAiSE (Conference on Advanced Information Systems Engineering)
#1Tiago Prince Sales (University of Trento)H-Index: 8
#2Ben Roelens (OU: Open University)H-Index: 5
Last. J. Mylopolous (University of Trento)H-Index: 78
view all 6 authors...
In recent years, there has been a growing interest in modeling value in the context of Enterprise Architecture, which has been driven by a need to align the vision and strategic goals of an enterprise with its business architecture. Nevertheless, the current literature shows that the concept of value is conceptually complex and still causes a lot of confusion. For example, we can find in the literature the concept of value being taken as equivalent to notions as disparate as goals, events, objec...
#1Masafumi IfukuH-Index: 1
#2Noriyuki Kushiro (Kyushu Institute of Technology)H-Index: 4
Last. Yusuke Aoyama (Kyushu Institute of Technology)H-Index: 2
view all 3 authors...
Significant requirements are often discovered during discussion about tradeoffs and conflicts between stakeholders in requirements meeting. Developing a method to handle tradeoffs and conflicts becomes a breakthrough to acquire significant requirements which are difficult to elicit for requirements analysts. In this paper, the Extended Goal Graph (EGG) is proposed as a method for handling tradeoffs and conflicts by providing traceability between requirements analysis and system design. We develo...
1 CitationsSource
#1Youssef Wehbe (Khalifa University)H-Index: 5
#2Mohamed al Zaabi (Khalifa University)H-Index: 1
Last. Davor Svetinovic (Khalifa University)H-Index: 17
view all 3 authors...
Healthcare-related technology has been growing exponentially, from electronic healthcare records (EHRs) and personal health trackers to population health management tools. Currently, data from these sources is largely archived, analyzed separately or using only cursory integration with other data sources. In this study, we propose a coupled AI-Blockchain EHR management system. The goal is to provide a platform that leverages blockchain and artificial intelligence (AI) for (i) secure EHR manageme...
5 CitationsSource
#1Kerry Neace (Johns Hopkins University)H-Index: 1
#2Robert Roncace (GW: George Washington University)H-Index: 2
Last. Pavel Fomin (GW: George Washington University)H-Index: 3
view all 3 authors...
Designing Unmanned Aircraft Systems (UASs) for optimal autonomy while meeting user requirements is quite challenging. Researchers have focused on improving autonomy algorithms and verification methods to ensure safe and reliable autonomous behavior in UASs, but little research has been conducted on requirements engineering for UASs to answer design questions and explore the trade space for using autonomy to satisfy user requirements. This paper introduces a method to determine an optimal set of ...
1 CitationsSource
#1Mathias De BrouwerH-Index: 2
#2Femke OngenaeH-Index: 11
Last. Filip De TurckH-Index: 37
view all 4 authors...
In hospitals and smart nursing homes, ambient-intelligent care rooms are equipped with many sensors. They can monitor environmental and body parameters, and detect wearable devices of patients and nurses. Hence, they continuously produce data streams. This offers the opportunity to collect, integrate and interpret this data in a context-aware manner, with a focus on reactivity and autonomy. However, doing this in real time on huge data streams is a challenging task. In this context, cascading re...
#1Yuxuan Fan (U of O: University of Ottawa)H-Index: 1
#2Amal Ahmed Anda (U of O: University of Ottawa)H-Index: 3
Last. Daniel Amyot (U of O: University of Ottawa)H-Index: 31
view all 3 authors...
Goal models are used to support early requirements engineering activities by capturing system and stakeholder objectives and their links, and by enabling what-if and trade-off analysis in a decision-making context. They are also increasingly used in system monitoring and self-adaptation contexts. Yet, automatically converting goal models to code for supporting analysis and adaptation activities remains an issue. This paper presents a new arithmetic semantics for the standard Goal-oriented Requir...
3 CitationsSource