GRL model validation: a statistical approach

  • Authors:
  • Jameleddine Hassine;Daniel Amyot

  • Affiliations:
  • College of Computer Science and Engineering, KFUPM, Dhahran, Saudi Arabia;EECS, University of Ottawa, Ontario, Canada

  • Venue:
  • SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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.