loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: João António Custódio Soares 1 ; Bruno Lima 2 and João Pascoal Faria 2

Affiliations: 1 Faculty of Engineering and University of Porto, Portugal ; 2 Faculty of Engineering, University of Porto and INESC TEC, Portugal

Keyword(s): Model Transformation, Sequence Diagrams, Coloured Petri Nets, Epsilon, EMF.

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 E MF compliant modelling tool can be transformed. An application example is presented to better illustrate the approach. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.204.65.189

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - AMARETTO; ISBN 978-989-758-283-7; ISSN 2184-4348, SciTePress, pages 668-679. DOI: 10.5220/0006731806680679

@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 - AMARETTO},
year={2018},
pages={668-679},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006731806680679},
isbn={978-989-758-283-7},
issn={2184-4348},
}

TY - CONF

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