Data-flow Based Model Analysis

erschienen April 2010 in: NASA Langley Research Center, Hampton VA 23681-2199, USA Proceedings of the Second NASA Formal Methods Symposium (NFM 2010)
ISBN: NASA/CP-2010-216215

The concept of (meta) modeling combines an intuitive way of formalizing the structure of an application domain with a high expressiveness that makes it suitable for a wide variety of use cases and has therefore become an integral part of many areas in computer science. While the definition of modeling languages through the use of meta models, e.g. in UML, is a well-understood process, their validation and the extraction of behavioral information is still a challenge. In this paper we present a novel approach for dynamic model analysis along with several fields of application. Examining the propagation of information along the edges and nodes of the model graph allows to extend and simplify the definition of semantic constraints in comparison to the capabilities offered by e.g. the Object Constraint Language. Performing a flow-based analysis also enables the simulation of dynamic behavior, thus providing an abstract interpretation-like analysis method for the modeling domain.

Downloads:

• paper  -  (paper.pdf, 0 KB)