Analyzing goal models: different approaches and how to choose among them

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. Categories and Subject Descriptors D.2.1 [Requirements/Specifications]: elicitation methods, languages, methodologies, tools