Development of the Rules for Transformation of UML Sequence Diagrams into Queueing Petri Nets

  • Vu Van Doc
  • Huynh Quyet ThangEmail author
  • Nguyen Trong Bach
Conference paper
Part of the Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering book series (LNICST, volume 257)


Sequence diagrams (SDs) are an abstraction of communication modeling between different entities, objects or classes. SDs are used to describe an execution trace of a particular system at a particular point in time. Queueing Petri Nets (QPNs) are graphical formalisms, at a lower level of abstraction, for which efficient and mature simulation-based solution techniques are available. This paper defines and explains the relationship between sequence diagrams and QPNs. Our approach can be used to transform sequence diagrams into QPNs. We presented the development of the model transformation solution to translate UML Sequence Diagrams (SDs) into equivalent QPNs. A case study of a new account opening for banking management system is used to illustrate the transformation rules.


Model transformation Sequence Diagrams Queueing Petri Nets 


  1. 1.
    Tony Spiteri Staines: Transforming UML sequence diagrams into petri nets. J. Commun. Comput. 10, 72–81 (2013)Google Scholar
  2. 2.
    Wang, C.J., Fan, H.J., Pan, S.: Research on mapping UML to petri-net in system modeling. In: MATEC Web of Conferences, vol. 44, p. 02038 (2016)CrossRefGoogle Scholar
  3. 3.
    Soares, J.A.C., Lima, B., Faria, J.P.: Automatic model transformation from UML sequence diagrams to coloured petri nets. In: 6th International Conference on Model-Driven Engineering and Software Development MODELSWARD (2018)Google Scholar
  4. 4.
    Meedeniya, D.A.: Correct model-to-model transformation for formal verification. A Thesis Submitted for the Degree of Ph.D. at the University of St. Andrews (2013).
  5. 5.
    Meedeniya, D., Perera, I., Bowles, J.: Tool support for transforming unified modelling language sequence diagram to coloured petri nets. Maejo Int. J. Sci. Technol. 10(03), 272–283 (2016)Google Scholar
  6. 6.
    Lian-Zhang, Z., Fan-Sheng, K.: Automatic conversion from UML to CPN for software performance evaluation. Int. Work. Inf. Electron. Eng. (IWIEE) 29, 2682–2686 (2012)Google Scholar
  7. 7.
    Ameedeen, M.A.: A model driven approach to analysis and synthesis of sequence diagrams. A thesis submitted to The University of Birmingham for the degree of Doctor of Philosophy (2011).
  8. 8.
    Meier, P., Kounev, S., Koziolek, H.: Automated transformation of component-based software architecture models to queueing petri nets. In: IEEE 19th Annual International Symposium, pp. 339–348 (2011)Google Scholar
  9. 9.
    Pasqua, R., Foures, D., Albert, V., Nketsa, A.: From sequence diagrams UML 2.x to FD-DEVS by model transformation. In: European Simulation and Modelling Conference, vol. 12481, pp. 37–43 (2012)Google Scholar
  10. 10.
    El-kaedy, R.A., Sameh, A.: Performance analysis and characterization tool for distributed software development. Int. J. Res. Rev. Comput. Sci. 2(3), 906–915 (2011)Google Scholar
  11. 11.
    Ribeiro, O.R., Fernandes, J.M.: Some rules to transform sequence diagrams into coloured petri nets. In: Jensen, K., Aarhus, D., (eds.), 7th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2006), pp. 237–256 (2006)Google Scholar
  12. 12.
    Fernandes, J.M., Tjell, S., Jorgensen, J.B., Ribeiro, O.: Designing tool support for translating use cases and UML 2.0 sequence diagrams into a coloured petri net. In: Sixth International Workshop on Scenarios and State Machines (2007).
  13. 13.
  14. 14.
    OMG Unified Modeling Language TM (OMG UML) Version 2.5.1, December 2017. Accessed 22 Apr 2018
  15. 15.
    Papyrus. Accessed 22 Feb 2018
  16. 16.

Copyright information

© ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2019

Authors and Affiliations

  1. 1.Hanoi University of Science and TechnologyHanoiVietnam

Personalised recommendations