Analyzing Dynamic Models using a Data-flow based Approach

Christian Saad and Bernhard Bauer

Proc. of 1st Doctoral Symposium at SLE, Eindhoven, The Netherlands, October 11, 2010. CEUR-WS.org, ISSN 1613-0073

Meta modeling as a method allows to devise languages suited

for specific application domains, e.g. for describing the structural or be-

havioral aspects of software systems. As meta models constitute an ab-

stract syntax (often enriched with static semantics) there exist obvious

similarities to the area of formal languages. The research effort described

in this paper is intended to examine to what extent and to what benefit

compiler construction concepts, namely the data-flow analysis method,

can be transferred to the modeling domain in order to validate static

semantics and perform abstract interpretations on models.