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

Author(s)

Dulani Meedeniya, Indika Perera, Juliana Bowles

School/Research organisations

Abstract

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.

Close

Details

Original languageEnglish
Pages (from-to)272-283
Number of pages12
JournalMaejo International Journal of Science and Technology
Volume10
Issue number3
StatePublished - 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. 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

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

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

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

  5. Weaving true-concurrent aspects using constraint solvers

    Bowles, J. K. F., Bordbar, B. & Alwanain, M. 3 Feb 2017 2016 16th International Conference on Application of Concurrency to System Design (ACSD). IEEE Computer Society, p. 35-44 10 p. 7842499

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

ID: 255407489