Skip to main content
SpringerLink
Log in
Book cover

International Conference on Industrial Networks and Intelligent Systems

INISCOM 2018: Industrial Networks and Intelligent Systems pp 122–144Cite as

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

  • Conference paper
  • First Online:

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Tony Spiteri Staines: Transforming UML sequence diagrams into petri nets. J. Commun. Comput. 10, 72–81 (2013)

    Google Scholar 

  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)

    Article  Google Scholar 

  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. 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). https://research-repository.st-andrews.ac.uk/handle/10023/3691

  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. 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. 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). http://etheses.bham.ac.uk/3282/

  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. 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. 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. 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. 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). https://doi.org/10.1109/scesm.2007.1

  13. https://www.omg.org/spec/MARTE/About-MARTE. Accessed 21 Apr 2018

  14. OMG Unified Modeling Language TM (OMG UML) Version 2.5.1, December 2017. https://www.omg.org/spec/UML/About-UML/. Accessed 22 Apr 2018

  15. Papyrus. https://www.eclipse.org/papyrus/. Accessed 22 Feb 2018

  16. QPME. https://se.informatik.uni-wuerzburg.de/tools/qpme/. Accessed 18 Jan 2018

Download references

Author information

Authors and Affiliations

  1. Hanoi University of Science and Technology, No. 1, Dai Co Viet, Hanoi, Vietnam

    Vu Van Doc, Huynh Quyet Thang & Nguyen Trong Bach

Authors
  1. Vu Van Doc
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Huynh Quyet Thang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nguyen Trong Bach
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Huynh Quyet Thang .

Editor information

Editors and Affiliations

  1. Queen’s University Belfast, Belfast, UK

    Trung Q Duong

  2. Duy Tan University, Da Nang, Vietnam

    Nguyen-Son Vo

Rights and permissions

Reprints and permissions

Copyright information

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

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Van Doc, V., Quyet Thang, H., Trong Bach, N. (2019). Development of the Rules for Transformation of UML Sequence Diagrams into Queueing Petri Nets. In: Duong, T., Vo, NS. (eds) Industrial Networks and Intelligent Systems. INISCOM 2018. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 257. Springer, Cham. https://doi.org/10.1007/978-3-030-05873-9_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-05873-9_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-05872-2

  • Online ISBN: 978-3-030-05873-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation