A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets

Authors:
Mohamed Ariff Ameedeen;Behzad Bordbar
Affiliations:
-;-
Venue:
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Year:
2008

Citing 0
Cited 3

A Model Driven Approach to the Analysis of Timeliness Properties

ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Model interoperability via Model Driven Development

Journal of Computer and System Sciences
Modelling UML sequence diagrams with aspect-oriented extended Petri nets

International Journal of Computer Applications in Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. For example UML models are widely used by the designers to capture various viewpoint of the system; while formal models using languages such as CSP, Z and Petri Nets are suitable for the analysis. Model transformation techniques developed as a part of MDD can be applied to generate one model from another model automatically. This allows benefiting from the tools and techniques developed and used in multiple languages. This paper presents a method of applying MDD model transformation from UML 2.0 Sequence Diagrams to Petri Nets. The paper shows that the model transformation results in Free Choice Petri Nets. As a result, the low complexity of analysis and the synthesis techniques can be applied to the models of enterprise systems which are captured in UML Sequence Diagrams.