Exception Handling in Logic Controller Design by means of UML Activity Diagrams and Control Interpreted Petri Nets

• Autorzy: Grobelny M. , Pieczyński A.

Warianty tytułu

PL

Możliwość reprezentacji obsługi wyjątków z wykorzystaniem dwóch technik modelowania – diagramów aktywności języka UML oraz interpretowanych sieci Petriego sterowania

• Języki publikacji: EN

Abstrakty

EN

Modelling of all aspects of logic controller in design phase is very important. The paper presents handling of possible exceptions with usage of two specification techniques – UML activity diagrams and control interpreted Petri nets. Sample control process of transportation of friable goods is a base for further discussion about complexity of exception handling in each technique. Furthermore, the target is to model exceptions with usage of standard syntax of each technique.

PL

Szczególnie ważnym etapem procesu projektowania sterownika logicznego jest modelowanie poszczególnych jego perspektyw. Artykuł przedstawia możliwość reprezentacji obsługi wyjątków z wykorzystaniem dwóch technik modelowania – diagramów aktywności języka UML oraz interpretowanych sieci Petriego sterowania. Aspekty modelowania obsługi wyjątków dla obu wymienionych technik zostały zaprezentowane na przykładzie specyfikacji procesu sterowania transportem materiałów sypkich. Dodatkowo, celem jest zrealizowanie obsługi sytuacji wyjątkowych z wykorzystaniem tylko i wyłącznie standardowych elementów obu technik modelowania.

Słowa kluczowe

EN

exception handling; UML; activity diagram; Petri net

PL

diagram aktywności UML; sieć Petriego; obsługa wyjątków

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2013
• Tom: R. 89, nr 5
• Strony: 314--317
• Opis fizyczny: Bibliogr. 6 poz., rys.

Twórcy

autor

Grobelny M.

• University of Zielona Góra, Media and Information Technology Department

autor

Pieczyński A.

• Institute of Control and Computation Engineering

Bibliografia

• [1] Adamski, M. and Chodań, M. Modelling of discreet control circuits using SFC nets. Politechnika Zielonogórska Press, 2000.
• [2] David, R. and Alla, H. Discrete, Continuous, and Hybrid Petri Nets, Springer Verlag, 2010.
• [3] Doligalski, M. and Adamski, M. (2010). Exceptions and deep history state handling using dual specification. Electrotechnical Review, 86 (2010), nr 9, pp. 123–125 (in Polish).
• [4] Gomes, L. and Barros, J.P. and Costa, A. Modeling formalisms for embedded system design, Embedded Systems Handbook, Taylor & Francis Group, LLC, 2006.
• [5] Grobelna, I. and Grobelny, M. and Adamski, M. Petri Nets and activity diagrams in logic controller specification – transformation and verification, In Proceedings of the 17th International Conference Mixed Design of Integrated Circuits and Systems, 2010, pp. 607–612.
• [6] Object Management Group. OMG Unified Modeling Language, Superstructure, Version 2.4.1, 2011.