Proceedings of the 2011 ACM Symposium on Applied Computing 2011
DOI: 10.1145/1982185.1982334
|View full text |Cite
|
Sign up to set email alerts
|

Analyzing goal models

Abstract: A great variety of techniques for analyzing goal models in requirements engineering have been proposed in recent years. Approaches include propagating goal satisfaction values, computing metrics over models, finding acceptable models using planning algorithms, simulating model behavior, and checking formal properties over a model. From a practical viewpoint, this diversity creates a barrier for widespread adoption of such techniques. Recognizing the lack of guidance to the literature and how to choose among th… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
8
0
1

Year Published

2014
2014
2023
2023

Publication Types

Select...
5
2
1

Relationship

2
6

Authors

Journals

citations
Cited by 66 publications
(9 citation statements)
references
References 41 publications
0
8
0
1
Order By: Relevance
“…This process involves the iterative application of propagation rules to attach current values from each offspring to its parent and then resolving softgoal labels at the parent level [25]. We apply the rules for satisfaction analysis in goal models that are explained in [26] in the Evaluation phase.…”
Section: Evaluation Phasementioning
confidence: 99%
“…This process involves the iterative application of propagation rules to attach current values from each offspring to its parent and then resolving softgoal labels at the parent level [25]. We apply the rules for satisfaction analysis in goal models that are explained in [26] in the Evaluation phase.…”
Section: Evaluation Phasementioning
confidence: 99%
“…Much attention has been paid to the area of goal-oriented Requirements Engineering (RE) [2], [8] in the last two decades, and several studies that compare goal-oriented languages have been published. According to Siau and Rossi [23], these studies can be classified in three groups: feature comparison [19], [24], [25], [26], theoretical and conceptual evaluations [27], [28], [29] and empirical studies [12], [30], [31], [32], [33].…”
Section: Existing Studies Comparing Goal-oriented Languagesmentioning
confidence: 99%
“…Horkoff and Yu [25] surveyed available approaches for goal-oriented modeling (e.g., i*, GRL, Tropos, NFR, KAOS) and classified them according to several criteria (e.g., satisfaction analysis, metrics, planning, simulation). They also proposed guidelines that would assist in the use of these approaches, grouped into domain understanding, communication, model improvement, scoping, requirement elicitation, requirements improvement, and design, but the proposed guidelines need to be validated in practice.…”
Section: Regev and Wegmannmentioning
confidence: 99%
“…A hypothesis raised by the authors is that modeling the requirements described by initiatives associated with the I4.0 like the RAMI 4.0 (Reference Architectural Model for Industry 4.0) [6] using the KAOS (Keep All Objectives Satisfied) [7] methodology can assist in developing systems that effectively reflect the needs of the industry.…”
Section: Introductionmentioning
confidence: 99%