Applying Data-flow Analysis to Models - A Novel Approach for Model Analysis

erschienen April 2010 in: Orlando, Florida, USA Spring Simulation Multi-Conference (SpringSim 2010), Poster Session

Using modeling techniques, the structure of an application domain can be captured in an easy and highly expressive way.

However, while the use of meta models for the definition of modeling languages is a common and well-understood activity, extracting information about behavioral properties as well as the validation of static semantics is still a challenge.

In this paper we present a novel approach for model analysis that addresses these issues by applying the method of dataflow analysis to the modeling domain. By approximating the dynamic behavior of a model, this allows for an abstract interpretation of its runtime characteristics.

Downloads:

• poster_scs  -  (poster_scs.pdf, 1711 KB)