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

Mohamed Ameedeen; Behzad Bordbar

doi:10.1109/EDOC.2008.42

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

Mohamed Ameedeen, Behzad Bordbar

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Enterprise Distributed Object Computing Conference, 2008
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	213-221
Number of pages	9
ISBN (Print)	978-0-7695-3373-5
DOIs	https://doi.org/10.1109/EDOC.2008.42
Publication status	Published - 19 Sept 2008
Event	Proceedings of 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2008) - Duration: 19 Sept 2008 → …

Conference

Conference	Proceedings of 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2008)
Period	19/09/08 → …

Access to Document

10.1109/EDOC.2008.42

30 Citations
1 Paper

A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets
Ameedeen, M. & Bordbar, B., 1 Jan 2008.
Research output: Contribution to conference (unpublished) › Paper

Cite this

@inproceedings{25bb4565bfde4ec2b9e473328b1f8d2f,

title = "A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets",

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.",

author = "Mohamed Ameedeen and Behzad Bordbar",

year = "2008",

month = sep,

day = "19",

doi = "10.1109/EDOC.2008.42",

language = "English",

isbn = "978-0-7695-3373-5",

pages = "213--221",

booktitle = "Enterprise Distributed Object Computing Conference, 2008",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

note = "Proceedings of 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2008) ; Conference date: 19-09-2008",

}

Ameedeen, M & Bordbar, B 2008, A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets. in Enterprise Distributed Object Computing Conference, 2008. Institute of Electrical and Electronics Engineers (IEEE), pp. 213-221, Proceedings of 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2008), 19/09/08. https://doi.org/10.1109/EDOC.2008.42

TY - GEN

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

AU - Ameedeen, Mohamed

AU - Bordbar, Behzad

PY - 2008/9/19

Y1 - 2008/9/19

N2 - 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.

AB - 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.

U2 - 10.1109/EDOC.2008.42

DO - 10.1109/EDOC.2008.42

M3 - Conference contribution

SN - 978-0-7695-3373-5

SP - 213

EP - 221

BT - Enterprise Distributed Object Computing Conference, 2008

PB - Institute of Electrical and Electronics Engineers (IEEE)

T2 - Proceedings of 12th International IEEE Enterprise Distributed Object Computing Conference (EDOC 2008)

Y2 - 19 September 2008

ER -

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

Abstract

Conference

Access to Document

Fingerprint

Research output

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

Cite this