Abstract
i* is a widespread framework in the software engineering field that supports goal-oriented modeling of socio-technical systems and organizations. At its heart lies a language offering concepts such as actor, dependency, goal and decomposition. i* models resemble a network of interconnected, autonomous, collaborative and dependable strategic actors. Around this language, several analysis techniques have emerged, e.g., goal satisfaction analysis and metrics computation. In this work, we present a consolidated version of the i* language based on the most adopted versions of the language. We define the main constructs of the language and we articulate them in the form of a metamodel. Then, we implement this version and a concrete technique, goal satisfaction analysis based on goal propagation, using ADOxx. Throughout the chapter, we used an example based on open source software adoption to illustrate the concepts and test the implementation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Amyot, D., Mussbacher, G.: URN: Towards a new standard for the visual description of requirements. In: Proceedings of the 3rd International Workshop on Telecommunications and beyond: the Broader Applicability of SDL and MSC (SAM), LNCS 2599, pp. 21–37. Springer, Berlin (2002)
Amyot, D., Ghanavati, S., Horkoff, J., Mussbacher, G., Peyton, L., Yu, E.: Evaluating goal models within the goal-oriented requirement language. Int. J. Intell. Syst. 25(8), pp. 841–877 Wiley (2010)
Bencomo, N., Belaggoun, A.: Supporting decision-making for self-adaptive systems: from goal models to dynamic decision networks. In: Proceedings of the 19th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ), LNCS 7830, pp 221–236. Springer, Berlin (2013)
Castro, J., Kolp, M., Mylopoulos, J.: A Requirements-Driven Development Methodology. In: Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE), pp. 108–123. Springer, Berlin (2001)
Chung, L., Nixon, B., Yu, E., Mylopoulos, J.: Non-functional Requirements in Software Engineering. Kluwer Academic Publishing (2000)
Dardenne, A., Fickas, S., van Lamswerdee, A.: Goal-directed concept acquisition in requirements elicitation. In: Proceedings of the 6th International Workshop on Software Specification and Design (IWSSD), pp. 14–21. IEEE CS Press, Los Alamitos (1991)
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. science of computer programming, vol. 20(1–2), pp. 3—50, Elsevier (1993)
Estrada, H., Martínez, A., Pastor, O., Mylopoulos, J.: An empirical evaluation of the i* framework in a model-based software generation environment. In: 18th International Conference on Advanced Information Systems Engineering (CAiSE), LNCS 4001, pp. 513–527. Springer, Berlin (2006)
Franch, X.: On the quantitative analysis of agent-oriented models. In: 18th International Conference on Advanced Information Systems Engineering (CAiSE), LNCS 4001, pp. 495—509. Springer, Berlin (2006)
Franch, X., Grau, G., Mayol, E., Quer, C., Ayala, C.P., Cares, C., Navarrete, F., Haya, M., Botella, P.: Systematic construction of i* strategic dependency models for socio-technical systems. Int. J. Softw. Eng. Knowl. Eng. 17(1), pp. 79–106. World Scientific (2007)
Franch, X.: Fostering the adoption of i* by practitioners: some challenges and research directions. In Intentional Perspectives on Information Systems Engineering, pp. 177–194. Springer, Berlin (2010)
Franch, X.: Incorporating modules into the i* framework. In: CAiSE 2010. LNCS 6051, pp. 439–454. Springer, Berlin (2010)
Giorgini, P., Mylopoulos, J., Nicciarelli, E., Sebastiani, R.: Formal reasoning techniques for goal models. LNCS, vol. 2503, pp. 167–181. Springer, Berlin (2002)
GRL: Goal Oriented Requirement Language (2001). http://www.cs.toronto.edu/km/GRL/
Grau, G., Franch, X.: On the adequacy of i* models for representing and analyzing software architectures In: Proceedings of ER Workshops, LNCS 4802, pp. 296–305. Springer, Berlin (2007)
Horkoff, J., Yu, E.: Finding solutions in goal models: an interactive backward reasoning approach. In: Proceedings of 29th International Conference on Conceptual Modelling (ER), LNCS 6412, pp. 59–75. Springer, Berlin (2010)
Horkoff, J., Yu, E.: Analyzing goal models: different approaches and how to choose among them. In: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), pp. 675–682. ACM, New York (2011)
Horkoff, J., Yu, E.: Interactive goal model analysis for early requirements engineering. In: Requirements Engineering, online, Springer, Berlin (2014)
ITU-T Recommendation Z.151 (11/08), User Requirements Notation (URN)—Language Definition. http://www.itu.int/rec/T-REC-Z.151/en
Jennings, N.R., Sycara, K., Wooldridge, M.: A roadmap of agent research and development. Auton. Agent. Multi-Agent Syst. 1(1), 7–38 (1998)
Kavakli, E.: Modelling organizational goals: Analysis of current methods. 19th ACM Symposium on Applied Computing, pp. 1339–1343. ACM, New York (2004)
Leite, J., Werneck, V., Oliveira, A., Cappelli, C., Cerqueira, A., Cunha, H., González-Baixauli, G.: Understanding actor diagram: an exercise of meta modelling. In: Proceedings of the 10yh Workshop on Reuquirements Engineering (WER), pp. 2–12 (2007)
Li, F.-L., Horkoff, J., Mylopoulos, J., Guizzardi, R.S.S., Guizzardi, G., Borgida, A., Liu, L.: Non-functional Requirements as Qualities, with a Spice of Ontology. In: Proceedings 22nd IEEE International Requirements Engineering Conference (RE), pp. 293–302, IEEE CS Press, Los Alamitos (2014)
Lopez, L., Costal, D., Ayala, C.P., Franch, X., Annosi, M.C., Glott, R., Haaland, K.: Adoption of OSS components: a goal-oriented approach. In: Data & Knowledge Engineering, vol. 99, pp. 17–38, Elsevier (2015)
Moody, D.L., Heymans, P., Matulevicius, R.: Visual syntax does matter: improving the cognitive effectiveness of the i* visual notation. Requirements Engineering, vol. 15(2), pp. 141–175. Springer, Berlin (2010)
Mylopoulos, J., Chung, L., Nixon, B.: Representing and using non-functional requirements: a process-oriented approach. IEEE Transactions on Software Engineering, vol. 18 (6), pp. 483–491. IEEE CS Press, Los Alamitos (1992)
Mylopoulos, J., Chung, L., Yu, E.: From Object-Oriented to Goal-Oriented Requirements Analysis. Communications of the ACM, vol. 42(1), pp. 31–37. ACM, New York (1999)
van Lamsweerde, A.: Goal-oriented requirements engineering: a guided tour. In: 5th IEEE International Symposium on Requirements Engineering, pp. 249. IEEE CS Press, Los Alamitos (2001)
Wooldridge, M., Cincarani, P.: Agent-oriented software engineering: the state of the art. First International Workshop on Agent-Oriented Software Engineering (AOSE), LNCS 1957, pp. 1–28. Springer, Berlin (2000)
Yu, E.: Modelling organizations for information system requirements engineering. 1st International IEEE Symposium on Requirements Engineering (ISRE), pp. 34–41. IEEE CS Press, Los Alamitos (1993)
Yu, E., Mylopoulos, J.: Understanding why in software process modelling, analysis, and design. In: Proceedings of the 16th International Conference on Software Engineering (ICSE), pp. 159–168. IEEE CS Press, Los Alamitos (1994)
Yu, E.: Modelling Strategic Relationships for Process Reengineering. Ph.D. Dissertation, University of Toronto (1995)
Acknowledgments
This work was partially funded by the Spanish funded project EOSSAC (TIN2013-44641-P) and the RISCOSS project, funded by the EC 7th Framework Programme FP7/2007-2013, agreement number 318249.
Tool Download http://www.omilab.org/istar.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Franch, X., López, L., Cares, C., Colomer, D. (2016). The i* Framework for Goal-Oriented Modeling. In: Karagiannis, D., Mayr, H., Mylopoulos, J. (eds) Domain-Specific Conceptual Modeling. Springer, Cham. https://doi.org/10.1007/978-3-319-39417-6_22
Download citation
DOI: https://doi.org/10.1007/978-3-319-39417-6_22
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-39416-9
Online ISBN: 978-3-319-39417-6
eBook Packages: Computer ScienceComputer Science (R0)