Transformacja diagramów aktywności UML 2.0 do sieci Petriego w systemach sterowania binarnego

• Autorzy: Grobelny M.

Warianty tytułu

EN

Transformation of UML 2.0 activity diagrams into Petri nets in binary control systems

• Języki publikacji: PL

Abstrakty

PL

Artykuł zawiera omówienie oraz porównanie dwóch formalnych metod specyfikacji behawioralnej systemów osadzonych - diagramów aktywności języka UML 2.0 oraz sieci Petriego. Przedstawione są podobieństwa oraz różnice pomiędzy nimi. Poruszone jest zagadnienie transformacji pomiędzy dwoma wymienionymi technikami specyfikacji wraz z obrazującym ten proces przykładem. Uwzględniono także problem nadmiarowości sieci Petriego po bezpośredniej transformacji i wynikającą z tego konieczność redukcji miejsc i tranzycji przy zachowaniu jednoznaczności obu diagramów. Artykuł podzielony jest następująco. Rozdział 2 zawiera wprowa-dzenie do diagramów aktywności w UML 2.0. Rozdział 3 przedstawia sieci Petriego. Rozdział 4 porównuje obie metody specyfikacji - diagramy aktywności oraz sieci Petriego. Rozdział 5 porusza zagadnienie transformacji pomiędzy dwoma omawianymi technikami. Rozdział 6 zawiera podsumowanie wcześniejszych rozdziałów oraz wnioski.

EN

The paper presents and compares two formal behavioural specification methods of embedded systems [1] - activity diagrams of UML specification language [2, 3, 4, 13, 14] and Petri nets [9, 15]. Similarities and differences as well as the aspect of transformation between both specification techniques are concerned. The transformation is explained on the example of a sample control process shown in Fig. 1. Fig. 2 presents the specification using UML activity diagram. The problem of redundant places and transitions after direct transformation from the activity diagram into the Petri net is dealt with. The Petri net after transformation is shown in Fig. 3 (a), while the reduced diagram - in Fig. 3 (b). The paper is divided into sections. Section 1 contains introduction to the topic of embedded system specification techniques. Section 2 presents UML 2.0 activity diagrams with their basic elements. Petri nets and their syntactic are described in Section 3. Section 4 focuses on comparison of both techniques by means of embedded control systems (see [12] for more details). The transformation problem is considered in Section 5. Section 6 summarises and concludes the paper.

Słowa kluczowe

PL

diagramy aktywności UML 2.0; sieci Petriego

EN

UML 2.0 activity diagrams; Petri nets

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2009
• Tom: R. 55, nr 7
• Strony: 498--500
• Opis fizyczny: Bibliogr. 18 poz., rys., tab.

Twórcy

autor

Grobelny M.

• Wydział Elektrotechniki, Informatyki i Telekomunikacji, Uniwersytet Zielonogórski,

Bibliografia

• [1] M. A. Adamski, A. Karatkevich, M. Wegrzyn (ed.): Design of embedded control systems, Springer Science+Business Media, Inc., 2005.
• [2] R. Miles, K. Hamilton: UML 2.0. Wprowadzenie, Helion 2007.
• [3] http://www.omg.org.
• [4] P. Graessle, H. Baumann, P. Baumann: UML 2.0 w akcji. Przewodnik oparty na projektach, Helion 2006, s. 17–38.
• [5] R. Eshuis, R. Wieringa: A Comparison of Petri Net and Activity Diagram Variants, Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Sys tems 2001, pp. 93–104.
• [6] C. Yen-Liang, C. Sammy, C. Chyun-Chyi, C. Irene: Workflow Process Definition and Their Applications in e-Commerce, IEEE 2000, pp. 193–200.
• [7] T. Schattkowsky: UML 2.0 – Overview and Perspectives in SoC Design, Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE’05).
• [8] G. Łabiak, M. Adamski: Zastosowanie języka UML w modelowaniu sterownika dyskretnego, KNWS’06, PAK 6bis/2006, s. 50–52.
• [9] R. David, H. Alla: Petri Nets and Grafcet, Prentice Hall, 1992.
• [10] J. P. López-Grao, J. Merseguer, J. Campos: From UML Activity Diagrams To Stochastic Petri Nets: Application To Software Per-formance Engineering, WOSP 04 January, pp. 14-16.
• [11] T. S. Staines: Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets, 15th Annual IEEE International Conference and Work-shop on the Engineering of Computer Based Systems, 2008, pp. 191-200.
• [12] M. Grobelny: A short comparison between UML Activity Diagrams and Petri Nets in hardware behavioural modelling, X Międzynarodowe Warsztaty Doktoranckie OWD’2008, Archiwum konferencji PTETIS, Vol. 25, październik 2008, pp. 433-436.
• [13] S. Wrycza, B. Marcinkowski, K. Wyrzykowski: UML 2.0 w modelowaniu systemów informatycznych, Helion 2005.
• [14] M. Fowler: UML w kropelce, Oficyna Wydawnicza LTP Sp. z o. o., Warszawa 2004.
• [15] L. Gomes, J.P. Barros, A. Costa: Modeling Formalisms for Embedded System Design. Embedded Systems Handbook, Taylor & Francis Group, LLC, 2006.
• [16] I. Tričković: Formalizing activity diagram of UML by Petri nets, Novi Sad J. Math, Vol. 30, No 3, 2000, pp. 161-171.
• [17] I. Grobelna: Formal verification of logic controller specification using NuSMV model checker, X Międzynarodowe Warsztaty Doktoranckie OWD’2008, Archiwum konferencji PTETIS, Vol. 25, październik 2008, pp. 459-464.
• [18] M. Adamski, M. Chodań: Modelowanie układów sterowania dyskretnego z wykorzystaniem sieci SFC, Wydawnictwo Politechniki Zielonogórskiej, Zielona Góra 2000.