Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
Sensoria Bibliography Site Construction and Correctness Analysis of a Model Transformation from Activity Diagrams to Petri Nets
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Julia Padberg
abstract:
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated analysis and verification in the software development process. In this paper we use the concept of typed attributed graph transformation to construct a model transformation from a simple version of activity diagrams to Petri nets. Moreover our approach allows a correctness analysis which shows that this model transformation has functional behavior and is syntactically correct. This is the basis to use well-known analysis and verification techniques of Petri nets also for activity diagrams. The model transformation has been implemented in the extscTiger environment developed at TU Berlin.
