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

Mohamed Ameedeen, Behzad Bordbar

Research output: Chapter in Book/Report/Conference proceedingConference contribution

30 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationEnterprise Distributed Object Computing Conference, 2008
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages213-221
Number of pages9
ISBN (Print)978-0-7695-3373-5
DOIs
Publication statusPublished - 19 Sep 2008
EventProceedings of 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2008) -
Duration: 19 Sep 2008 → …

Conference

ConferenceProceedings of 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2008)
Period19/09/08 → …

Fingerprint

Dive into the research topics of 'A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets'. Together they form a unique fingerprint.

Cite this