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 these techniques, this paper offers a first attempt to organize this body of knowledge and suggest initial guidelines on choice of techniques to meet users' analysis objectives.

-- Daniel Amyot - 06 Jul 2011

Discussion

• Paper available at http://www.cs.utoronto.ca/~jenhork/Papers/SAC11_RE.pdf
• Presentation available at http://www.cs.utoronto.ca/~jenhork/Presentations/SAC11_HorkoffYu.pptx
• Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.