SD2CPN: A model transformation tool for software design models

Author

Meedeniya, Dulani ; Bowles, Juliana ; Perera, Indika

Author_Institution

Univ. of Moratuwa, Moratuwa, Sri Lanka

fYear

2014

fDate

July 30 2014-Aug. 1 2014

Firstpage

354

Lastpage

359

Abstract

The growth of software system development using Model Driven Development (MDD) approach has increased the need for modelling, model-to-model (M2M) transformations and analyses at the design level for system verification. SD2CPN is a scenario-based model transformation prototype with analysis capabilities. This tool models scenarios using UML2 sequence diagrams (SDs) and transform those into coloured Petri nets (CPNs) that enables different analysis of the synthesised model. The model transformations are based on the M2M transformation rules that are formally defined in our previous work. This paper presents the features, design and the analysis methods of SD2CPN tool.

Keywords

Petri nets; Unified Modeling Language; formal verification; M2M transformation rules; SD2CPN tool; UML2 sequence diagrams; analysis capabilities; coloured Petri nets; design level; model driven development approach; model transformation tool; model-to-model transformations; scenario-based model transformation prototype; software design models; software system development growth; system verification; Analytical models; Color; Computational modeling; Elevators; Generators; Semantics; Unified modeling language; Coloured Petri-net; Model transformation; Model-driven development; SD2CPN; UML sequence diagram;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Engineering Conference (ICSEC), 2014 International

Conference_Location

Khon Kaen

Print_ISBN

978-1-4799-4965-6

Type

conf

DOI

10.1109/ICSEC.2014.6978222

Filename

6978222