Abstract
Goal-oriented languages have been used for years to model and reason about functional, non-functional, and legal requirements. It is however difficult to develop and maintain these models, especially when many models overlap with each other. This becomes an even bigger challenge when a single, generic model is used to capture a family of related goal models but different evaluations are required for each individual family member. In this work, we use ITU-T’s Goal-oriented Requirement Language (GRL) and the jUCMNav tool to illustrate the problem and to formulate a solution that exploits the flexibility of standard GRL. In addition, we report on our recent experience on the modeling of aerodrome regulations. We demonstrate the usefulness of specifying families of goal models to address challenges associated with the maintenance of models used in the regulatory domain. We finally define and illustrate a new tool-supported algorithm used to evaluate individual goal models that are members of the larger family model.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
Ghanavati, S., Amyot, D., Peyton, L.: A Systematic Review of Goal-oriented Requirements Management Frameworks for Business Process Compliance. In: 4th Int. Work. on Requirements Engineering and Law, RELAW, pp. 25–34. IEEE Computer Society (2011)
Shamsaei, A., Amyot, D., Pourshahid, A.: A Systematic Review of Compliance Measurement Based on Goals and Indicators. In: Salinesi, C., Pastor, O. (eds.) CAiSE 2011 Workshops. LNBIP, vol. 83, pp. 228–237. Springer, Heidelberg (2011)
Amyot, D., Mussbacher, G.: User Requirements Notation – The First Ten Years, The Next Ten Years. Journal of Software, JSW 6(5), 747–768 (2011)
International Telecommunication Union: Recommendation Z.151 (10/12), User Requirements Notation (URN) - Language definition, http://www.itu.int/rec/T-REC-Z.151/en
Pourshahid, A., Amyot, D., Peyton, L., Ghanavati, S., Chen, P., Weiss, M., Foster, A.: Business process management with the User Requirements Notation. Electronic Commerce Research, ECR 9(4), 269–316 (2009)
jUCMNav, Version 5.2.0, University of Ottawa, http://softwareengineering.ca/jucmnav
Amyot, D., Ghanavati, S., Horkoff, J., Mussbacher, G., Peyton, L., Yu, E.: Evaluating Goal Models within the Goal-oriented Requirement Language. International Journal of Intelligent Systems 25(8), 841–877 (2010)
Canada Gazette - Government Notices, http://canadagazette.gc.ca/rp-pr/p1/2011/2011-12-10/html/notice-avis-eng.html#d101
Pourshahid, A., Richards, G., Amyot, D.: Toward a Goal-Oriented, Business Intelligence Decision-Making Framework. In: Babin, G., Stanoevska-Slabeva, K., Kropf, P. (eds.) MCETECH 2011. LNBIP, vol. 78, pp. 100–115. Springer, Heidelberg (2011)
Ali, R., Dalpiaz, F., Giorgini, P.: A Goal-based Framework for Contextual Requirements Modeling and Analysis. Requirements Engineering Journal 15, 439–458 (2010)
Lapouchnian, A., Mylopoulos, J.: Modeling Domain Variability in Requirements Engineering with Contexts. In: Laender, A.H.F., Castano, S., Dayal, U., Casati, F., de Oliveira, J.P.M. (eds.) ER 2009. LNCS, vol. 5829, pp. 115–130. Springer, Heidelberg (2009)
Lapouchnian, A., Mylopoulos, J.: Capturing Contextual Variability in i* Models. In: Proc. iStar 2011, vol. 766, pp. 96–101. CEUR-WS.org (2011), http://ceur-ws.org/Vol-766/paper17.pdf
Borba, C., Silva, C.: A Comparison of Goal-Oriented Approaches to Model Software Product Lines Variability. In: Heuser, C.A., Pernul, G. (eds.) ER 2009. LNCS, vol. 5833, pp. 244–253. Springer, Heidelberg (2009)
Silva, C., Borba, C., Castro, J.: A goal oriented approach to identify and configure feature models for software product lines. In: 14th Workshop on Requirements Engineering, WER 2011 (2011)
Yu, Y., Leite, J.C.S.P., Lapouchnian, A., Mylopoulos, J.: Configuring features with stakeholder goals. In: Symposium on Applied Computing, SAC 2008, pp. 645–649. ACM Press (2008)
Mussbacher, G., Araújo, J., Moreira, A., Amyot, D.: AoURN-based Modeling and Analysis of Software Product Lines. Software Quality Journal 20(3-4), 645–687 (2012)
Amyot, D., Shamsaei, A., Kealey, J., Tremblay, E., Miga, A., Mussbacher, G., Alhaj, M., Tawhid, R., Braun, E., Cartwright, N.: Towards Advanced Goal Model Analysis with jUCMNav. In: Castano, S., Vassiliadis, P., Lakshmanan, L.V.S., Lee, M.L. (eds.) ER 2012 2012 Workshops. LNCS, vol. 7518, pp. 201–210. Springer, Heidelberg (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shamsaei, A. et al. (2013). An Approach to Specify and Analyze Goal Model Families. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds) System Analysis and Modeling: Theory and Practice. SAM 2012. Lecture Notes in Computer Science, vol 7744. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36757-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-36757-1_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36756-4
Online ISBN: 978-3-642-36757-1
eBook Packages: Computer ScienceComputer Science (R0)