SD2CPN: a model transformation tool for software design models

Dulani Apeksha Meedeniya; Juliana Kuster Filipe Bowles; Indika  Perera

doi:10.1109/ICSEC.2014.6978222

SD2CPN: a model transformation tool for software design models

Dulani Apeksha Meedeniya, Juliana Kuster Filipe Bowles, Indika Perera

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

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.

Original language	English
Title of host publication	2014 International Computer Science and Engineering Conference (ICSEC)
Publisher	IEEE
Pages	354 - 359
Number of pages	6
ISBN (Print)	9781479949656
DOIs	https://doi.org/10.1109/ICSEC.2014.6978222
Publication status	Published - 2014
Event	The 18th International Computer Science and Engineering Conference - Hotel Pullman Khon Kaen Raja Orchid, Khon Kaen, Thailand Duration: 30 Jul 2014 → 1 Aug 2014

Conference

Conference	The 18th International Computer Science and Engineering Conference
Country/Territory	Thailand
City	Khon Kaen
Period	30/07/14 → 1/08/14

Keywords

SD2CPN
Coloured Petri-net
Model-driven development
Model transformation
UML sequence diagram

Access to Document

10.1109/ICSEC.2014.6978222

Cite this

@inproceedings{bc9011ca29634a2e904aba0f44f88cec,

title = "SD2CPN: a model transformation tool for software design models",

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 = "SD2CPN, Coloured Petri-net, Model-driven development, Model transformation, UML sequence diagram",

author = "Meedeniya, {Dulani Apeksha} and Bowles, {Juliana Kuster Filipe} and Indika Perera",

year = "2014",

doi = "10.1109/ICSEC.2014.6978222",

language = "English",

isbn = "9781479949656 ",

pages = "354 -- 359",

booktitle = "2014 International Computer Science and Engineering Conference (ICSEC)",

publisher = "IEEE",

note = "The 18th International Computer Science and Engineering Conference ; Conference date: 30-07-2014 Through 01-08-2014",

}

TY - GEN

T1 - SD2CPN

T2 - The 18th International Computer Science and Engineering Conference

AU - Meedeniya, Dulani Apeksha

AU - Bowles, Juliana Kuster Filipe

AU - Perera, Indika

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - SD2CPN

KW - Coloured Petri-net

KW - Model-driven development

KW - Model transformation

KW - UML sequence diagram

UR - http://icsec2014.cs.kku.ac.th/

U2 - 10.1109/ICSEC.2014.6978222

DO - 10.1109/ICSEC.2014.6978222

M3 - Conference contribution

SN - 9781479949656

SP - 354

EP - 359

BT - 2014 International Computer Science and Engineering Conference (ICSEC)

PB - IEEE

Y2 - 30 July 2014 through 1 August 2014

ER -

SD2CPN: a model transformation tool for software design models

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this