Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2018

Autores

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

Ata de Conferência Internacional

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

Páginas: 668-679

Indexação

Scopus - 17 Citações

Outras Informações

ID Authenticus: 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

Idioma: Inglês

Tipo (Avaliação Docente): Científica