Formalizing model consistency based on the abstract syntax
Frank Trollmann, Marco Blumendorf, Veit Schwartze, Şahin Albayrak · 2011
In this paper we define a notion to describe consistency within and between models, which has been identified as important issue when using model-based tools. We introduce the abstract syntax of models as attributed typed graphs and define a formalism of consistency based on this formal description. The application of the formalism is illustrated by an example.