Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

João António Custódio Soares, Bruno Lima, João Pascoal Faria

2018

Abstract

UML Sequence Diagrams are used in different domains for specifying the required behaviour of software-based systems. However, the created diagrams are often used only as documentation, and not as a basis for generating subsequent lifecycle artifacts or for automated analysis. Several authors have proposed the transformation of Sequence Diagrams to executable Coloured Petri Nets (CPN), for simulation and testing purposes, but the transformations are not automated or are implemented in an ad-hoc way. To overcome those limitations, we present in this paper an approach to automatically translate Sequence Diagrams to CPN ready for execution with CPN Tools, taking advantage of model-to-model transformation techniques provided by the Eclipse Modelling Framework (EMF). The transformation rules are implemented in the Epsilon Transformation Language. We use the standard UML metamodel provided by EMF and the CPN metamodel provided by CPN Tools, so any Sequence Diagram created with an EMF compliant modelling tool can be transformed. An application example is presented to better illustrate the approach.

Download


Paper Citation


in Harvard Style

Custódio Soares J., Lima B. and Pascoal Faria J. (2018). Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: AMARETTO, ISBN 978-989-758-283-7, pages 668-679. DOI: 10.5220/0006731806680679


in Bibtex Style

@conference{amaretto18,
author={João António Custódio Soares and Bruno Lima and João Pascoal Faria},
title={Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: AMARETTO,},
year={2018},
pages={668-679},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006731806680679},
isbn={978-989-758-283-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: AMARETTO,
TI - Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
SN - 978-989-758-283-7
AU - Custódio Soares J.
AU - Lima B.
AU - Pascoal Faria J.
PY - 2018
SP - 668
EP - 679
DO - 10.5220/0006731806680679