Requirements trade-offs analysis in the absence of quantitative measures: a heuristic method
Proceedings of the 2011 ACM Symposium on Applied Computing
Analyzing goal models: different approaches and how to choose among them
Proceedings of the 2011 ACM Symposium on Applied Computing
An i*-based approach for modeling and testing web requirements
Journal of Web Engineering
Making explicit some impliciti* language decisions
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Composite indicators for business intelligence
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Comparing alternatives for analyzing requirements trade-offs - In the absence of numerical data
Information and Software Technology
An approach to measure understandability of extended UML based on metamodel
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Validation of user intentions in process models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
AoURN-based modeling and analysis of software product lines
Software Quality Control
Towards advanced goal model analysis with jUCMNav
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
Interactive Analysis of Agent-Goal Models in Enterprise Modeling
International Journal of Information System Modeling and Design
An approach to specify and analyze goal model families
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
GRL model validation: a statistical approach
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Evaluation of web-specific goal oriented requirements language models with quantitative reasoning
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
In this article, we introduce the application of rigorous analysis procedures to goal models to provide several benefits beyond the initial act of modeling. Such analysis can allow modelers 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. © 2010 Wiley Periodicals, Inc.