An approach to specify and analyze goal model families

  • Authors:
  • Azalia Shamsaei;Daniel Amyot;Alireza Pourshahid;Edna Braun;Eric Yu;Gunter Mussbacher;Rasha Tawhid;Nick Cartwright

  • Affiliations:
  • School of Electrical Eng. and Computer Science, University of Ottawa, Canada;School of Electrical Eng. and Computer Science, University of Ottawa, Canada;School of Electrical Eng. and Computer Science, University of Ottawa, Canada;School of Electrical Eng. and Computer Science, University of Ottawa, Canada;Department of Computer Science, University of Toronto, Canada;Department of Systems and Computer Engineering, Carleton University, Canada;Carleton University, Canada;-

  • Venue:
  • SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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.