SD2CPN: a model transformation tool for software design models

Dulani Apeksha Meedeniya, Juliana Kuster Filipe Bowles, Indika Perera

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 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 languageEnglish
Title of host publication2014 International Computer Science and Engineering Conference (ICSEC)
PublisherIEEE
Pages354 - 359
Number of pages6
ISBN (Print)9781479949656
DOIs
Publication statusPublished - 2014
EventThe 18th International Computer Science and Engineering Conference - Hotel Pullman Khon Kaen Raja Orchid, Khon Kaen, Thailand
Duration: 30 Jul 20141 Aug 2014

Conference

ConferenceThe 18th International Computer Science and Engineering Conference
Country/TerritoryThailand
CityKhon Kaen
Period30/07/141/08/14

Keywords

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

Fingerprint

Dive into the research topics of 'SD2CPN: a model transformation tool for software design models'. Together they form a unique fingerprint.

Cite this