Quantitative Reasoning of Goal Satisfaction in the i*Framework

In requirement analysis, goal models play an important role in assessing alternative design options of a software system. Many qualitative and quantitative goal reasoning approaches have been proposed for goal models such as Knowledge Acquisition in Automated Space (KAOS), Non- Functional Requirements (NFR), and Goal Oriented Requirement Language (GRL). However, for i* goal model only qualitative reasoning has been proposed in Requirement Engineering literature. The aim of this paper is to present a quantitative goal reasoning for i* goal model. The proposed approach was validated with case studies from existing literature and offers a guide in the decision process. To support the validation a simulation was developed in Visual C++.

[1]  W. Marsden.  I and J , 2012 .

[2]  Eric S. K. Yu,et al.  Evaluating Goal Achievement in Enterprise Modeling - An Interactive Procedure and Experiences , 2009, PoEM.

[3]  Axel van Lamsweerde,et al.  Reasoning About Alternative Requirements Options , 2009, Conceptual Modeling: Foundations and Applications.

[4]  Mohd Sadiq,et al.  Applying fuzzy preference relation for requirements prioritization in goal oriented requirements elicitation process , 2014, Int. J. Syst. Assur. Eng. Manag..

[5]  Sotirios Liaskos,et al.  On eliciting contribution measures in goal models , 2012, 2012 20th IEEE International Requirements Engineering Conference (RE).

[6]  A. Nagoor Gani,et al.  A New Operation on Triangular Fuzzy Number for Solving Fuzzy Linear Programming Problem , 2012 .

[7]  Lotfi A. Zadeh,et al.  The Concepts of a Linguistic Variable and its Application to Approximate Reasoning , 1975 .

[8]  John Mylopoulos,et al.  Representing and reasoning about preferences in requirements engineering , 2011, Requirements Engineering.

[9]  Aneesh Krishna,et al.  Supporting quantitative reasoning of non-functional requirements: A process-oriented approach , 2012, 2012 International Conference on Software and System Process (ICSSP).

[10]  Axel van Lamsweerde,et al.  Reasoning about partial goal satisfaction for requirements and design engineering , 2004, SIGSOFT '04/FSE-12.

[11]  Wei Xiong,et al.  An integrated linguistic-based group decision-making approach for quality function deployment , 2011, Expert Syst. Appl..

[12]  John Mylopoulos,et al.  Reasoning with Goal Models , 2002, ER.

[13]  Xavier Franch,et al.  On the Quantitative Analysis of Agent-Oriented Models , 2006, CAiSE.

[14]  Stephen Shaoyi Liao,et al.  Exploring Alternatives during Requirements Analysis , 2001, IEEE Softw..

[15]  Daniel Amyot,et al.  Evaluating goal models within the goal‐oriented requirement language , 2010, Int. J. Intell. Syst..

[16]  Aneesh Krishna,et al.  Optimal Selection of Operationalizations for Non-Functional Requirements , 2013, APCCM.

[17]  Nelly Condori-Fernández,et al.  Change impact analysis of indirect goal relations: Comparison of NFR and TROPOS approaches based on industrial case study , 2012, 2012 Second IEEE International Workshop on Model-Driven Requirements Engineering (MoDRE).

[18]  Lotfi A. Zadeh,et al.  The concept of a linguistic variable and its application to approximate reasoning - II , 1975, Inf. Sci..