In this paper, we introduce the application of rigorous analysis procedures to goal models in order to provide several benefits beyond the initial act of modelling. Such analysis can allow modellers to assess the satisfaction of goals, facilitate evaluation of high-level design alternatives, help analysts decide on the high-level requirements and design of the system, test the sanity of a model, and support communication and learning. The analysis of goal models can be done in very different ways depending on the nature of the model and the purpose of the analysis. In our work, we use the Goal-oriented Requirement Language (GRL), which is part of the User Requirements Notation (URN). URN, a new Recommendation of the International Telecommunications Union, provides the first standard goal-oriented language. Using GRL, we develop an approach to analysis that can be done by evaluating qualitative or quantitative satisfaction levels of the actors and intentional elements (e.g., goals and tasks) composing the model. Initial satisfaction levels for some of the intentional elements are provided in a strategy and then propagated to the other intentional elements of the model through the various links that connect them. The results allow for an assessment of the relative effectiveness of design alternatives at the requirements level. Although no specific propagation algorithm is imposed in the URN standard, different criteria for defining evaluation mechanisms are described. We provide three algorithms (quantitative, qualitative, and hybrid) as examples, which satisfy the constraints imposed by the standard. These algorithms have been implemented in the open-source jUCMNav tool, an Eclipse-based editor for URN models. The algorithms are presented and compared with the help of a telecommunication system example.

-- DanielAmyot - 05 Nov 2009


  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary edit

Title Evaluating Goal Models within the Goal-oriented Requirement Language
Authors D. Amyot, S. Ghanavati, J. Horkoff, G. Mussbacher, L. Peyton, E. Yu
Type Journal
Conference/Journal Title International Journal of Intelligent Systems (IJIS)
Volume/Number Vol. 25, Issue 8
Editors J. Lee and T. Lee
Publisher Wiley
Month August
Year 2010
Pages 841-877
DOI 10.1002/int.20433
Keywords GRL, evaluation algorithms, quantitative, qualitative, hybrid, propagation, jUCMNav
Topic attachments
I Attachment Action Size Date Who Comment
IJIS2010-Web.pdfpdf IJIS2010-Web.pdf manage 879 K 09 Feb 2010 - 12:23 DanielAmyot Preprint version
Topic revision: r4 - 21 Jun 2010, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback