Formalizing model consistency based on the abstract syntax

AutorFrank Trollmann, Marco Blumendorf, Veit Schwartze, Sahin Albayrak
QuellePisa, Italy 
LinksDownload   |   BibTeX 

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.