Formalizing model consistency based on the abstract syntax


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.

 author = {Trollmann, Frank and Blumendorf, Marco and Schwartze, Veit and Albayrak, Sahin},
 title = {Formalizing model consistency based on the abstract syntax},
 booktitle = {Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems},
 series = {EICS '11},
 year = {2011},
 isbn = {978-1-4503-0670-6},
 location = {Pisa, Italy},
 pages = {79--84},
 numpages = {6},
 url = {},
 doi = {},
 acmid = {1996498},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {abstract syntax, consistency, model driven engineering},
Frank Trollmann, Marco Blumendorf, Veit Schwartze, Sahin Albayrak
Conference Paper
Pisa, Italy