Applying data-flow analysis to models a novel approach for model analysis

Authors:
Christian Saad;Bernhard Bauer
Affiliations:
University of Augsburg, Germany;University of Augsburg, Germany
Venue:
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Year:
2010

Citing 4
Cited 0

Compilers: Principles, Techniques, and Tools (2nd Edition)

Compilers: Principles, Techniques, and Tools (2nd Edition)
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition

ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Data Flow Analysis of UML Action Semantics for Executable Models

ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Pattern Identification and Classification in the Translation from BPMN to BPEL

OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.