direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Construction and Correctness Analysis of a Model Transformation from Activity Diagrams to Petri Nets
Zitatschlüssel EEEP06
Autor Ehrig, H. and Ehrig, K. and Ermel, C. and Padberg, J.
Buchtitel Proc. Intern. IMCAS Symposium on Mathematical Modelling (MathMod)
Jahr 2006
ISBN ISBN 3-901608-25-7
Herausgeber Troch, I. and Breitenecker, F.
Verlag ARGESIM-Reports
Zusammenfassung 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 Tiger environment developed at TU Berlin.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe