A Flexible Approach for Validating i * Models.
Ralf Laue, Arian Storch · iStar · 2011
In this article, we present a flexible approach to verify the syntactical correctness of i∗ models. We translate the information that is included in an i∗ model into a set of Prolog facts. Logical reasoning is applied for finding problems in a model. Our validation method has been implemented in the openOME modelling tool. By using our validation add-on, modellers get feedback about problems and possible improvements of the model.