Title :
SD2CPN: A model transformation tool for software design models
Author :
Meedeniya, Dulani ; Bowles, Juliana ; Perera, Indika
Author_Institution :
Univ. of Moratuwa, Moratuwa, Sri Lanka
fDate :
July 30 2014-Aug. 1 2014
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;
Conference_Titel :
Computer Science and Engineering Conference (ICSEC), 2014 International
Conference_Location :
Khon Kaen
Print_ISBN :
978-1-4799-4965-6
DOI :
10.1109/ICSEC.2014.6978222
