From UML object behavior description into petri net models towards systematic development of embedded systems

• Autorzy: Szmuc W. , Szmuc T.
• Języki publikacji: EN

Abstrakty

EN

The paper describes a translation of object behavior specified by UML into semantically equivalent Petri net models. The translation focuses on object behavior with event handling implemented in UML. The resulted Petri net allows to check UML model properties not only by simulation but also in formal way. For possibly closest congruence between UML and Petri net model an event queue is defined. Each state machine assigned to an object has its own event queue which is available as long as the machine exists. It allows modeling not just a simple message passing but also cases, when state machine cannot handle an event. A higher priority of sub-machine's event queue is also considered. The presented solution is a part of wider conversion algorithm from UML model into Petri nets [12]. However, the paper is intended to describe the issue in such a detailed way and focuses on aspects crucial for embedded systems development.

Słowa kluczowe

EN

UML; state machine; event; queue; object; Petri; formal; model

PL

UML; maszyna stanów; zdarzenie; kolejka; obiekt; Petri; model

• Wydawca: Lodz University of Technology. Department of Microelectronics and Computer Science
• Czasopismo: International Journal of Microelectronics and Computer Science
• Rocznik: 2016
• Tom: Vol. 7, nr 2
• Strony: 60--64
• Opis fizyczny: Bibliogr. 13 poz.

Twórcy

autor

Szmuc W.

• Department of Applied Computer Science, AGH University of Science and Technology, Kraków, Poland

autor

Szmuc T.

• Department of Applied Computer Science, AGH University of Science and Technology, Kraków, Poland

Bibliografia

• [1] Bauskar B. E. Mikolajczak B.: Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets, Information Technology: New Generations, 2006. ITNG 2006. Third International Conference on Year: 2006 Pages: 680 – 687
• [2] Baresi L., Pezze M.: On Formalizing UML with High-Level Petri Nets. Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer. Springer Berlin Heidelberg, 2001 Pages: 276-304
• [3] Bernardi S., Donatelli S., Mersehuer J.: From UML Sequence Diagrams and Statecharts to Analyzable Petri Nets Models. Proceedings of the 3rd International Workshop on Software and Performance. WOPS'02. ACM, 2002 Pages: 35-45
• [4] Dennis A., Wixom B., Tegarden D.: Systems Analysis and Design with UML. John Wiley & Sons, 2012
• [5] Feng X. Liu Q. Wang Z.: AUV Modeling and Analysis using a Colored Object-Oriented Petri Net, Computer and Computational Sciences, 2006. IMSCCS '06. First International Multi-Symposiums on Year: 2006, Volume: 2 Pages: 405 – 409
• [6] http://www.omg.org/spec/UML/2.5
• [7] Jensen K., Kristensen L.: Coloured Petri nets. Modelling and Validation of Concurrent Systems. Springer, Heidelberg, 2009
• [8] Kerkouche E., Chaoui A., Bourenane E. B., Labbani O.: A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. Journal of Object Technology. Vol. 9. No 4, 2010, Pages: 25-43
• [9] El Miloudi K., El Amrani Y., Ettouhami A.: An Automated Translation of UML Class Diagram into a Formal Specification to Detect UML Inconsistency. Proceedings of the 6th International Conference on Software Engineering Advances. ICSEA. 2011 Pages: 432-438
• [10] Mukhin D., Mikolajczak B.: A Method of Concurrent Object-Oriented Design Using High-Level Petri Nets, Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on Year: 1998, Pages: 295 - 300 vol.1
• [11] Szmuc T., Szpyrka M.: Formal Methods – Support or Scientific Decoration in Software Development?, Proceedings of the 22nd International Conference Mixed Design of Integrated Circuits and Systems, June 25-27 ToruĔ, Poland, 2015 Pages: 24-31
• [12] Szmuc W.: Modelling of Selected UML 2.0 Diagrams with Coloured Petri Nets. PhD Report. Supervisor Szpyrka M., AGH 2014
• [13] Szmuc W., Szmuc T.: Modeling of UML Object Event Handling with Petri Nets. Towards improvement of embedded systems analysis and design. Proceedings of the 23rd International Conference Mixed Design of Integrated Circuits and Systems. June 23-25, 2016 Pages: 454-457