Skip to main content

2019 | OriginalPaper | Buchkapitel

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

verfasst von : Vu Van Doc, Huynh Quyet Thang, Nguyen Trong Bach

Erschienen in: Industrial Networks and Intelligent Systems

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Tony Spiteri Staines: Transforming UML sequence diagrams into petri nets. J. Commun. Comput. 10, 72–81 (2013) Tony Spiteri Staines: Transforming UML sequence diagrams into petri nets. J. Commun. Comput. 10, 72–81 (2013)
2.
Zurück zum Zitat 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)CrossRef 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)CrossRef
3.
Zurück zum Zitat 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) 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)
5.
Zurück zum Zitat 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) 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)
6.
Zurück zum Zitat 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) 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)
8.
Zurück zum Zitat 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) 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)
9.
Zurück zum Zitat 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) 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)
10.
Zurück zum Zitat 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) 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)
11.
Zurück zum Zitat 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) 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)
12.
Zurück zum Zitat 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 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
Metadaten
Titel
Development of the Rules for Transformation of UML Sequence Diagrams into Queueing Petri Nets
verfasst von
Vu Van Doc
Huynh Quyet Thang
Nguyen Trong Bach
Copyright-Jahr
2019
DOI
https://doi.org/10.1007/978-3-030-05873-9_11