Authors: Benjamin Nagel, Fabian Pittke, Gregor Engels, Jan Mendling
Tags: 2014, conceptual modeling
Goal models are used for the elicitation and specification of strategic requirements in early phases of the software engineering lifecycle. By explicitly modeling requirements on a strategic level, these goals provide input for the derivation of operational software specifications. An unambiguous and consistent definition of the goals is the prerequisite for this derivation. Addressing this challenge, this paper presents an analytic approach for the automatic detection of linguistic inconsistencies in goal models. By providing syntactical and semantic consistency conditions, we support requirements engineers by improving the overall quality of goal-oriented requirements specifications. To demonstrate the applicability of our approach, we apply it to three case studies taken from literature using the implemented tool support.Read the full paper here: https://link.springer.com/chapter/10.1007/978-3-662-43745-2_27
