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.
