Skip to content

Research at St Andrews

Tool support for transforming Unified Modelling Language sequence diagram to coloured Petri nets

Research output: Contribution to journalArticle


Dulani Meedeniya, Indika Perera, Juliana Bowles

School/Research organisations


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.



Original languageEnglish
Pages (from-to)272-283
Number of pages12
JournalMaejo International Journal of Science and Technology
Issue number3
Publication statusPublished - 19 Oct 2016

    Research areas

  • SD2CPN, Coloured Petri net, Model-driven development, Model transformation, Unified Modelling Language sequence diagram, Sequence diagram

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Our data, our society, our health: a vision for inclusive and transparent health data science in the United Kingdom and beyond

    Ford, E., Boyd, A., K. F. Bowles, J., Havard, A., Aldridge, R., Curcin, V., Greiver, M., Harron, K., Katikireddi, V., Rodgers, S. & Sperrin, M., 25 Mar 2019, In : Learning Health Systems. Early View, 12 p., e10191.

    Research output: Contribution to journalArticle

  2. Formalization and Automation of Quality Assurance Processes in Radiation Oncology

    Munbodh, R., Zaveri, H., Caminati, M. & Bowles, J., 31 Jul 2018, In : Medical physics. 45, 6, p. E274-E274 1 p.

    Research output: Contribution to journalAbstract

  3. An integrated framework for verifying multiple care pathways

    Bowles, J. K. F., Caminati, M. B. & Cha, S., 7 Feb 2018, Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society, Vol. 2018-January. p. 1-8 8 p.

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

  4. Annotated BPMN models for optimised healthcare resource planning

    Bowles, J. K. F., Czekster, R. & Webber, T., 2018, Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. Mazzara, M., Iulian, O. & Salaün, G. (eds.). Cham: Springer, p. 146-162 16 p. (Lecture Notes in Computer Science; vol. 11176).

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

  5. Estimating capacity and resource allocation in healthcare settings using business process modelling and simulation

    Redeker, G., Webber, T., Czekster, R., Quickert, S. & Bowles, J. K. F., 2 Jul 2017, Anais XXXVII Congresso da Sociedade Brasileira de Computação. Sociedade Brasileira de Computação (SBC), p. 1979-1982

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

ID: 255407489