Using Goal Models Downstream: A Systematic Roadmap and Literature Review

Goal models have proven useful for capturing, understanding, and communicating requirements during early stages of software development. However, the utility of goal models is greatly enhanced when they can be exploited during downstream stages of the requirements analysis process (e.g. requirements elaboration, validation, planning), and can be used as part of the entire system life cycle (e.g., architectural and behavioral process design, coding, testing, monitoring, adaptation, and evolution). In order to better understand the progress that has been made in integrating goal models with downstream system development, the authors ask: what approaches exist that map/integrate/transform goal models to later stage software artifacts? To answer this question, they conduct a systematic survey, producing a roadmap of work summarizing 243 publications. Results include a categorization of the “why?†and “how?†for each approach. Furthermore, they select the 50 most prominent publications, based on citation numbers, in order to perform an in-depth literature review. Findings show that there is a wide variety of proposals with a variety of proposed goal models and targets, covering multiple paradigms, motivated by a variety of purposes. The authors conclude that although much work has been done in this area, the work is fragmented, following multiple separate strands of goal-orientation, and is often still in early stages of maturity.

[1]  Haralambos Mouratidis,et al.  Secure Tropos: a Security-Oriented Extension of the Tropos Methodology , 2007, Int. J. Softw. Eng. Knowl. Eng..

[2]  João Pimentel,et al.  Deriving software architectural models from requirements models for adaptive systems: the STREAM-A approach , 2011, Requirements Engineering.

[3]  Armin Eberlein,et al.  Transition from Requirements to Architecture: A Review and Future Perspective , 2006, Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06).

[4]  Oscar Pastor,et al.  Goal-Based Business Modeling Oriented towards Late Requirements Generation , 2003, ER.

[5]  Daniel Amyot,et al.  User Requirements Notation: The First Ten Years, The Next Ten Years (Invited Paper) , 2011, J. Softw..

[6]  Aldo Dagnino,et al.  Deriving Goals from a Use-Case Based Requirements Specification , 2001, Requirements Engineering.

[7]  Dalal Alrajeh,et al.  Learning operational requirements from goal models , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[8]  John Mylopoulos,et al.  High variability design for software agents: Extending Tropos , 2007, TAAS.

[9]  Yijun Yu,et al.  From goals to aspects: discovering aspects from requirements goal models , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[10]  John Mylopoulos,et al.  Taking goal models downstream: A systematic roadmap , 2014, 2014 IEEE Eighth International Conference on Research Challenges in Information Science (RCIS).

[11]  Ivan Markovic,et al.  Linking Business Goals to Process Models in Semantic Business Process Modeling , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

[12]  Ricardo J. Machado,et al.  Modeling the alignment between business and IS/IT: a requirements engineering perspective , 2013, SAC '13.

[13]  Matthias Jarke,et al.  Development of computer science disciplines: a social network analysis approach , 2011, Social Network Analysis and Mining.

[14]  Asif Gill,et al.  An evaluation of the goal-oriented approaches for modelling strategic alignment concept , 2011, 2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE.

[15]  John Mylopoulos,et al.  Towards requirements-driven information systems engineering: the Tropos project , 2002, Inf. Syst..

[16]  Alessandra Russo,et al.  A goal-based approach to policy refinement , 2004, Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004..

[17]  Bradley R. Schmerl,et al.  Rainbow: architecture-based self-adaptation with reusable infrastructure , 2004, International Conference on Autonomic Computing, 2004. Proceedings..

[18]  Jian Wang,et al.  Know-How Mapping: From i* to ME-maps , 2014, iStar.

[19]  Oscar Pastor,et al.  Model-driven architecture in practice - a software production environment based on conceptual modeling , 2007 .

[20]  Raman Kazhamiakin,et al.  A framework for integrating business processes and business requirements , 2004, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..

[21]  John Mylopoulos,et al.  Requirements analysis for customizable software: a goals-skills-preferences framework , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[22]  Yijun Yu,et al.  Configuring features with stakeholder goals , 2008, SAC '08.

[23]  Habiba Drias,et al.  Social Networks Discovery Based on Information Retrieval Technologies and Bees Swarm Optimization: Application to DBLP , 2014, Int. J. Syst. Serv. Oriented Eng..

[24]  Evangelia Kavakli,et al.  Goal-Oriented Requirements Engineering: A Unifying Framework , 2002, Requirements Engineering.

[25]  Pearl Brereton,et al.  Using mapping studies as the basis for further research - A participant-observer case study , 2011, Inf. Softw. Technol..

[26]  Armin Eberlein,et al.  Comparing methodologies for the transition between software requirements and architectures , 2009, 2009 IEEE International Conference on Systems, Man and Cybernetics.

[27]  Carolyn B. Seaman,et al.  Qualitative Methods in Empirical Studies of Software Engineering , 1999, IEEE Trans. Software Eng..

[28]  Jorge Lobo,et al.  Policies for Distributed Systems and Networks , 2001, Lecture Notes in Computer Science.

[29]  Jan Jürjens,et al.  From goal‐driven security requirements engineering to secure design , 2010, Int. J. Intell. Syst..

[30]  Luciano Baresi,et al.  Live goals for adaptive service compositions , 2010, SEAMS '10.

[31]  Ann M. Bisantz,et al.  Cognitive Work Analysis , 2013 .

[32]  Jose Luis de la Vara,et al.  A review of traceability research at the requirements engineering conferencere@21 , 2013, 2013 21st IEEE International Requirements Engineering Conference (RE).

[33]  Jaap Gordijn,et al.  E-service design using i* and e/sup 3/ value modeling , 2006, IEEE Software.

[34]  Marten van Sinderen,et al.  Extending enterprise architecture modelling with business goals and requirements , 2011, Enterp. Inf. Syst..

[35]  Pearl Brereton,et al.  Systematic literature reviews in software engineering - A tertiary study , 2010, Inf. Softw. Technol..

[36]  Oscar Pastor,et al.  From i* Requirements Models to Conceptual Models of a Model Driven Development Process , 2009, PoEM.

[37]  Axel van Lamsweerde,et al.  From System Goals to Software Architecture , 2003, SFM.

[38]  Marin Litoiu,et al.  Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , 2013, ICSE 2013.

[39]  Lars Wanhammar,et al.  Design and Implementation of Multirate Digital Filters , 2002 .

[40]  John Mylopoulos,et al.  Awareness requirements for adaptive systems , 2011, SEAMS '11.

[41]  Roel Wieringa,et al.  Requirements engineering paper classification and evaluation criteria: a proposal and a discussion , 2005, Requirements Engineering.

[42]  Irene Chen Investigating the Role of Service Encounter in Enhancing Customer Satisfaction , 2010, Int. J. Syst. Serv. Oriented Eng..

[43]  Axel van Lamsweerde,et al.  Deriving tabular event-based specifications from goal-oriented requirements models , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[44]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[45]  Takeo Kanade,et al.  Software Engineering for Self-Adaptive Systems II , 2013, Lecture Notes in Computer Science.

[46]  Sjaak Brinkkemper,et al.  Method engineering: engineering of information systems development methods and tools , 1996, Inf. Softw. Technol..

[47]  John Mylopoulos,et al.  Awareness Requirements , 2010, Software Engineering for Self-Adaptive Systems.

[48]  Naveed Ikram,et al.  Systematic reviews in requirements engineering: A tertiary study , 2014, 2014 IEEE 4th International Workshop on Empirical Requirements Engineering (EmpiRE).

[49]  John Mylopoulos,et al.  Simple and Minimum-Cost Satisfiability for Goal Models , 2004, CAiSE.

[50]  David Garlan,et al.  Rainbow: architecture-based self-adaptation with reusable infrastructure , 2004 .

[51]  John Mylopoulos,et al.  A Goal-Based Organizational Perspective on Multi-agent Architectures , 2001, ATAL.

[52]  Annie I. Antón,et al.  The use of goals to surface requirements for evolving systems , 1998, Proceedings of the 20th International Conference on Software Engineering.

[53]  Axel van Lamsweerde,et al.  Deriving operational software specifications from system goals , 2002, SIGSOFT '02/FSE-10.

[54]  Alireza Pourshahid,et al.  Business process management with the user requirements notation , 2009, Electron. Commer. Res..

[55]  Vítor Estêvão Silva Souza,et al.  Engineering adaptation with Zanshin: An experience report , 2013, 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

[56]  Sara Jones,et al.  Model-Driven Requirements Engineering: Synchronising Models in an Air Traffic Management Case Study , 2004, CAiSE.

[57]  Kai Petersen,et al.  Systematic Mapping Studies in Software Engineering , 2008, EASE.

[58]  Pericles Loucopoulos,et al.  Goal Modeling in Requirements Engineering: Analysis and Critique of Current Methods , 2005, Information Modeling Methods and Methodologies.

[59]  Jan Jürjens,et al.  From goal-driven security requirements engineering to secure design , 2010 .

[60]  Jaelson Brelaz de Castro,et al.  Deriving use cases from organizational modeling , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[61]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[62]  Gordana Jovanovic-Dolecek Multirate Systems: Design and Applications , 2001 .

[63]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[64]  Jose-Norberto Mazón,et al.  A Model-Driven Goal-Oriented Requirement Engineering Approach for Data Warehouses , 2007, ER Workshops.

[65]  Neil A. M. Maiden,et al.  PRiM: An i*-based process reengineering method for information systems specification , 2008, Inf. Softw. Technol..

[66]  Shari Lawrence Pfleeger,et al.  Preliminary Guidelines for Empirical Research in Software Engineering , 2002, IEEE Trans. Software Eng..

[67]  Yijun Yu,et al.  An automated approach to monitoring and diagnosing requirements , 2007, ASE.

[68]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[69]  Yijun Yu,et al.  Reverse engineering goal models from legacy code , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[70]  Geert Poels,et al.  Practical Challenges for Methods Transforming i* Goal Models into Business Process Models , 2009, 2009 17th IEEE International Requirements Engineering Conference.

[71]  Anna Perini,et al.  A Goal-Oriented Software Testing Methodology , 2007, AOSE.

[72]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[73]  Tore Dybå,et al.  Evidence-based software engineering , 2004, Proceedings. 26th International Conference on Software Engineering.

[74]  KitchenhamBarbara,et al.  A systematic review of systematic review process research in software engineering , 2013 .

[75]  John Mylopoulos,et al.  Modeling security requirements through ownership, permission and delegation , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[76]  Lin Liu,et al.  Designing information systems in social context: a goal and scenario modelling approach , 2004, Inf. Syst..

[77]  Colette Rolland,et al.  Guiding Goal Modeling Using Scenarios , 1998, IEEE Trans. Software Eng..

[78]  Oussama Ben Khadra,et al.  Goal-centric traceability for managing non-functional requirements , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[79]  Michael Weiss,et al.  Towards a Classification of Web Service Feature Interactions , 2005, ICSOC.

[80]  Lucia R. D. Bastos,et al.  From requirements to multi-agent architecture using organisational concepts , 2005, SELMAS.

[81]  Yijun Yu,et al.  Towards requirements-driven autonomic systems design , 2005, ACM SIGSOFT Softw. Eng. Notes.

[82]  Maya Daneva,et al.  What Practitioners Think of Inter-organizational ERP Requirements Engineering Practices: Focus Group Results , 2011, Int. J. Inf. Syst. Model. Des..

[83]  Annie I. Antón,et al.  Analyzing goal semantics for rights, permissions, and obligations , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[84]  Lin Liu,et al.  Integrating Goals and Problem Frames in Requirements Analysis , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[85]  Carine Souveyet,et al.  A Goal-Oriented Perspective on Approaches to Web Service Discovery , 2012, 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops.

[86]  Florian Matthes,et al.  Goals in Enterprise Architecture Management -- Findings from Literature and Future Research Directions , 2013, 2013 IEEE 15th Conference on Business Informatics.

[87]  Axel van Lamsweerde,et al.  Goal-Oriented Requirements Engineering: A Guided Tour , 2001, RE.

[88]  J. Mylopoulos,et al.  Towards requirements-driven autonomic systems design , 2005, ACM SIGSOFT Softw. Eng. Notes.

[89]  Katsuo Inoue Report of the 20th International Conference on Software Engineering , 1998 .

[90]  Pearl Brereton,et al.  A systematic review of systematic review process research in software engineering , 2013, Inf. Softw. Technol..

[91]  Anna Perini,et al.  Automating Model Transformations in Agent-Oriented Modelling , 2005, AOSE.

[92]  Axel van Lamsweerde,et al.  Handling Obstacles in Goal-Oriented Requirements Engineering , 2000, IEEE Trans. Software Eng..

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

[94]  João Pimentel,et al.  Requirements and architectural approaches to adaptive software systems: A comparative study , 2013, 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

[95]  Rogério de Lemos,et al.  Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , 2012, ICSE 2012.