Formalizing model consistency based on the abstract syntax

Frank Trollmann, Marco Blumendorf, Veit Schwartze, Sahin Albayrak
2011 Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems - EICS '11  
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 Keywords Model Driven Engineering, Abstract Syntax, Consistency ACM Classification Keywords D.2.4 Software/Program Verification:
more » ... ogram Verification: Formal methods General Terms Theory
doi:10.1145/1996461.1996498 dblp:conf/eics/TrollmannBSA11 fatcat:2va2sdh3zbaqbiujqsbtqceyqu