Goal models described with the Goal-oriented Requirement Language (GRL) are amenable to various kinds of analyses, including quantitative and qualitative propagations of satisfaction values. However, most approaches use bottom-up evaluations involving operational semantics that can only answer "what if" questions. This paper introduces a new declarative semantics for GRL based on a constraint-oriented interpretation of goal models. This semantics enables constraint solvers to evaluate and optimize goal models in a way that is more generic than bottom-up and top-down propagation techniques, hence enabling other questions to be answered. A prototype that combines the jUCMNav modeling tool and the JaCoP constraint solver to support quantitative evaluations is used to demonstrate the feasibility and potential of this new approach.


FormForVirtualLibrary edit

Title Towards a Declarative, Constraint-Oriented Semantics with a Generic Evaluation Algorithm for GRL
Authors H. Luo and D. Amyot
Type Conference
Conference/Journal Title 5th International i* Workshop
Volume/Number Vol-766
Editors J. Castro, X. Franch, J. Mylopoulos, E. Yu
Publisher CEUR
Month August
Year 2011
Pages 26-31
Keywords Constraint-oriented goal evaluation, Goal-oriented Requirement Language, jUCMNav, semantics, User Requirements Notation
Topic revision: r3 - 15 Feb 2012, 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