Tool Support for Transforming Unified Modelling Language Sequence Diagram to Coloured Petri-nets

03/06/2022
by   Dulani Meedeniya, et al.
0

Modern software systems are expected to be dependable and the development of such systems requires strong modelling and analysis methods. Model-Driven Development is becoming a mainstream practice in software development to cater for that need. Models help to cope with the large scale and complexity of software systems by specifying the structural and behavioural aspects of the system and providing a means of communication between domain experts, analysts, designers and developers. Consequently, there is an increasing need for being able to combine the benefits of popular design approaches and formal models to contribute to better software products. Sequence Diagram-to-Coloured Petri Net (SD2CPN) is a scenario-based model transformation tool with analysis capabilities. It captures scenarios using Unified Modelling Language sequence diagrams and transforms them into coloured Petri nets that enable reliable analysis of the system models. The model transformations are based on the strongly consistent model-to-model transformation rules that are formally defined previously as part of this research. This paper presents the design, implementation, main features and usage of SD2CPN tool.

READ FULL TEXT

page 5

page 8

page 10

research
03/06/2022

SD2CPN: A Model Transformation Tool for Software Design Models

The growth of software system development using Model Driven Development...
research
03/06/2022

Model Based Software Design: Tool Support for Scripting in Immersive Environments

We present a prototype tool developed for the transformation of scenario...
research
03/06/2022

Transformation and composition of software design models for Model Driven Development

Software models play a significant role with the growth of software syst...
research
03/06/2022

Strongly Consistent Transformation of Partial Scenarios

We present a formal approach for partial transformation of scenario-base...
research
06/07/2022

Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations

The study of representations is of fundamental importance to any form of...
research
02/23/2021

Modelling a CubeSat-based Space Mission and its Operation

Since the early 2000' years, the CubeSats have been growing and getting ...
research
02/23/2022

Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs

We formally define and implement a translation from domain models in the...

Please sign up or login with your details

Forgot password? Click here to reset