A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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:doi:10.1145/1996461.1996498 dblp:conf/eics/TrollmannBSA11 fatcat:2va2sdh3zbaqbiujqsbtqceyqu