Reasoning about Goal Satisfaction for Early Requirements Engineering in the i* Framework using Inter-Actor Dependency

In the software development cycle, requirements engineering plays a major role in the success of a software system. In early requirement engineering, various alternative design options for software are explored and the best ones are selected. The requirements analyst uses goal models to analyse different design alternatives. Goal models like the i*, and Tropos include inter-actor dependencies where an actor depends on other actors for its goal accomplishment. However, goal models like NonFunctional Requirements(NFR), Knowledge Acquisition in Automated Space (KAOS) do not include these type of inter-actor dependencies. Whilst there have been a number of both qualitative and quantitative proposed approaches to analysing goal models without using inter-actor dependency, this paper presents an approach to the automate analysis of goals using inter-actor dependencies and fuzzy concepts. A simulation for the proposed approach was developed in Visual C++ and was evaluated with case studies from the existing literature. The evaluation results show that the proposed approach is feasible and offers a guidance in the decision making of alternative options.

[1]  A. van Lamsweerde Goal-oriented requirements enginering: a roundtrip from research to practice [enginering read engineering] , 2004 .

[2]  Aneesh Krishna,et al.  Non-Functional Requirements Framework: A Mathematical Programming Approach , 2015, Comput. J..

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

[4]  Anna Perini,et al.  Refining Goal Models by Evaluating System Behaviour , 2007, AOSE.

[5]  Robert LIN,et al.  NOTE ON FUZZY SETS , 2014 .

[6]  Andreas Bollin,et al.  Requirements Engineering Fundamentals , 2015 .

[7]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[8]  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).

[9]  Eric Yu,et al.  Modeling Strategic Relationships for Process Reengineering , 1995, Social Modeling for Requirements Engineering.

[10]  John Mylopoulos,et al.  Integrating Preferences into Goal Models for Requirements Engineering , 2010, 2010 18th IEEE International Requirements Engineering Conference.

[11]  John Mylopoulos,et al.  From object-oriented to goal-oriented requirements analysis , 1999, CACM.

[12]  Eric Yu,et al.  Conceptual Modeling: Foundations and Applications , 2009 .

[13]  Haruhiko Kaiya,et al.  AGORA: attributed goal-oriented requirements analysis method , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[14]  Aneesh Krishna,et al.  Quantitative Reasoning of Goal Satisfaction in the i*Framework , 2015, SEKE.

[15]  Informatika Non-Functional Requirements Framework , 2010 .

[16]  L. A. ZADEH,et al.  The concept of a linguistic variable and its application to approximate reasoning - I , 1975, Inf. Sci..

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

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

[19]  John Mylopoulos,et al.  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..

[20]  John Mylopoulos,et al.  Non-Functional Requirements in Software Engineering , 2000, International Series in Software Engineering.

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

[22]  Emmanuel Letier,et al.  Simulating and optimising design decisions in quantitative goal models , 2011, 2011 IEEE 19th International Requirements Engineering Conference.

[23]  Julio Cesar Sampaio do Prado Leite,et al.  On Non-Functional Requirements in Software Engineering , 2009, Conceptual Modeling: Foundations and Applications.

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

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

[26]  Eric Yu,et al.  Social Modeling for Requirements Engineering , 2011, Cooperative information systems.

[27]  Stephen Fickas,et al.  Goal-directed concept acquisition in requirements elicitation , 1991, Proceedings of the Sixth International Workshop on Software Specification and Design.

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