GRL model validation: A statistical approach

Abstract

Goal models represent interests, intentions, and strategies of different stakeholders. Reasoning about the goals of a system unavoidably involves the transformation of unclear stakeholder requirements into goal-oriented models. The ability to validate goal models would support the early detection of unclear requirements, ambiguities and conflicts. In this paper, we propose a novel GRL-based validation approach to check the correctness of goal models. Our approach is based on a statistical analysis that helps justify the modeling choices during the construction of the goal model as well as detecting conflicts among the stakeholders of the system. We illustrate our approach using a GRL model for the introduction of a new elective security course in a university. © 2013 Springer-Verlag.