Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

• Type: Article in International Conference Proceedings Book
• Date: 2018

Authors

Custódio Soares, JA (Author) Other; Lima, B (Author) FEUP; João Pascoal Faria (Author) FEUP

Conference proceedings International

Title: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018.

Pages: 668-679

Indexing

Scopus - 17 Citations

Other information

Authenticus ID: P-00N-V5B

DOI: 10.5220/0006731806680679

Abstract (EN): 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. Copyright

Language: English

Type (Professor's evaluation): Scientific