Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML

• Autorzy: Grobelny M.

Warianty tytułu

EN

Mapping of hierarchical control interpreted Petri nets with macroplaces in UML activity diagrams

• Języki publikacji: PL

Abstrakty

PL

Artykuł przedstawia metodę odwzorowania hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności języka UML. Zgodnie z przyjętą zasadą odwzorowania akcji w tranzycjach sieci Petriego nie ma możliwości bezpośredniej graficznej reprezentacji miejsc interpretowanej sieci Petriego sterowania w diagramach UML. Jednocześnie konieczna jest zamiana takich elementów jak wyjścia przypisane do miejsc na aktywację i dezaktywację wyjść przy realizacji tranzycji oraz zamiany makromiejsc w makrotranzycje. Takie postępowanie kom-plikuje cały proces oraz może wprowadzać nieznaczne rozbieżności pomiędzy specyfikacją źródłową i docelową.

EN

The paper presents a method for mapping hierarchical control interpreted Petri nets into activity diagrams of UML. Usage of both specification techniques is possible considering international and multicultural design projects specifying hardware behavioural properties of a control process. Sometimes use of two different modelling techniques can be reasonable. After a short introduction (Section 1), a sample control process and its graphical interpretation using the control interpreted Petri net is described (Section 2). Fig. 1 shows the real model of the considered process of transportation of friable goods, whereas Fig. 2 presents graphical specification of the process with use of the control interpreted Petri net. Fig. 3 shows interpretation of action of UML activity diagrams in Petri nets. Due to no direct representation of the system state in UML activity diagrams, the outputs attached to places have to be exchanged with the outputs activated and deactivated with transitions firings. Sample output replacement scenario is depicted in Fig. 4 and is in details described in Section 3. Fig. 5 presents specification of the deliberated control process with usage of Mealy outputs (after replacement). On the other hand, conversion of macroplaces into macrotransitions is shown in Section 4 with graphical representation after exchange in Fig. 6. Section 5 describes transformation of the prepared Petri net into the activity diagram of UML with the process graphical representation in Fig. 7. Finally, Section 6 concludes the paper.

Słowa kluczowe

PL

UML; diagramy aktywności; interpretowane sieci Petriego sterowania; specyfikacja behawioralna; specyfikacja hierarchiczna

EN

UML; activity diagrams; control interpreted Petri nets; behavioural specification; hierarchical specification

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2012
• Tom: R. 58, nr 6
• Strony: 506--509
• Opis fizyczny: Bibliogr. 10 poz., rys.

Twórcy

autor

Grobelny M.

• Uniwersytet Zielonogórski, Licealna 9, 65-417 Zielona Góra,

Bibliografia

• [1] Adamski M., Barkalov A., Węgrzyn M. (Eds.): Design of Digital Systems and Devices, Lecture Notes in Electricel Engineering, Vol. 79, Springer-Verlag, Berlin Heidelberg 2011.
• [2] Basile F., Chiachio P., Del Grosso D.: Modelling automation systems by UML and Petri Nets, Proceedings of the 9th International Workshop on Discreet Event Systems, Goteborg, 2008, str. 308-313.
• [3] David R., Alla H.: Discrete, Continuous, and Hybrid Petri Nets, Springer Verlag, Berlin Heidelberg 2010.
• [4] Eshuis R.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling, rozprawa doktorska, University of Twente, Wierden 2002.
• [5] Girault C., Valk R.: Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications, Springer Verlag, Berlin Heidelberg 2003.
• [6] Grobelna I., Grobelny M., Adamski M.: Petri Nets and activity diagrams in logic controller specification - transformation and verification, Mixed Design of Integrated Circuits and Systems, Proceedings of the 17th International Conference, 2010, str. 607-612.
• [7] Grobelny M., Grobelna I.: Diagramy aktywności języka UML i sieci Petriego w systemach sterowania binarnego od transformacji do weryfikacji, Pomiary Automatyka Kontrola, nr 10, 2010, str. 1154-1158.
• [8] Grobelny M.: Transformation of UML 2.x activity diagrams into control interpreted Petri nets in hardware behavioural modelling, Prace Instytutu Elektrotechniki - Proceedings of Electrotechnical Institute, zeszyt 251, 2011, str. 87-95.
• [9] Szmuc T., Szpyrka M.: Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego, Wydawnictwa Naukowo-Techniczne, Warszawa 2010.
• [10] Unified Modeling Language Infrastructure and Superstructure complementary specifications, aktualna wersja normatywna 2.4.1, http://www.omg.org/spec/UML/2.4.1/