Formalizing model consistency based on the abstract syntax

Abstract

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.

@inproceedings{Trollmann:2011:FMC:1996461.1996498,
 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 = {http://doi.acm.org/10.1145/1996461.1996498},
 doi = {http://doi.acm.org/10.1145/1996461.1996498},
 acmid = {1996498},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {abstract syntax, consistency, model driven engineering},
}

Authors:

Frank Trollmann, Marco Blumendorf, Veit Schwartze, Sahin Albayrak

Category:

Conference Paper

Year:

2011

Location:

Pisa, Italy