Tagungsbeiträge
Formalizing model consistency based on the abstract syntax
 | Autor | Frank Trollmann, Marco Blumendorf, Veit Schwartze, Sahin Albayrak |
| Quelle | Pisa, Italy | |
| Links | Download | 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. | ||
