Transformation of UML 2.x activity diagrams into control interpreted Petri nets in hardware behavioural modelling

• Autorzy: Grobelny M.

Warianty tytułu

PL

Transformacja diagramów aktywności UML 2.x do interpretowanych sieci Petriego sterowania w specyfikacji behawioralnej sprzętu

• Języki publikacji: EN

Abstrakty

EN

Behavioural specification is one of the most important steps in embedded systems design. This phase play a key role cause in this step the shape and behaviour of the final product is established. The process can be realized with use of various technologies and tools supporting the phase. Two of the technologies supporting behavioural modelling are UML activity diagrams and Petri nets. The paper presents transformation of UML activity diagrams into control interpreted Petri nets. Transformation is targeted for project in which both technologies are used in parallel. The system described in the paper is realized as a bridge between mentioned modelling technologies fully supporting automation of the transformation process. Moreover, the system enables use of additional techniques such as formal verification or hardware description language code generation.

PL

Specyfikacja zachowania systemu jest jednym z kluczowych elementów procesu projektowania sterowników logicznych. Etap ten odrywa ważną rolę ze względu na fakt definiowania kształtu i sposobu zachowania docelowego produktu. Może ona zostać wykonana na wiele sposobów z wykorzystaniem różnych narzędzi wspomagających ten proces. Jednymi z technologii, w których istnieje możliwość opisu zachowania docelowego urządzenia, są diagramy aktywności języka UML i sieci Petriego. Artykuł przedstawia koncepcję transformacji pomiędzy diagramami aktywności języka UML a interpretowanymi sieciami Petriego sterowania. Transformacja dedykowana jest dla projektów, w których inżynierowie wykorzystuję obie wspomniane technologie. Dodatkowo omówiony w artykule system do transformacji ma na celu stworzenie mostu pomiędzy obiema technologiami w pełni automatyzując proces przemieszczania się pomiędzy nimi. Umożliwia on także wykorzystanie dodatkowych narzędzi wspomagających proces projektowania, takich jak formalna weryfikacji czy generowanie kodu w językach opisu sprzętu.

Słowa kluczowe

EN

Petri nets; UML activity diagrams; transformation; control process; hardware behavioural modelling

PL

sieci Petriego; diagramy aktywności UML; transformacja; sterowanie; specyfikacja behawioralna sprzętu

• Wydawca: Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
• Czasopismo: Prace Instytutu Elektrotechniki
• Rocznik: 2011
• Tom: Z. 251
• Strony: 87--95
• Opis fizyczny: Bibliogr. 16 poz., rys.

Twórcy

autor

Grobelny M.

• Faculty of Electrical Engineering, Computer Science and Telecommunication, University of Zielona Gora,

Bibliografia

• 1. Adamski M., Karatkevich A., Wegrzyn M. (ed.): Design of embedded control systems, Springer 2005 (USA).
• 2. Adamski M., Chodan M.: Modelowanie ukladow sterowania dyskretnego z wykorzystaniem sieci SFC, Wydawnictwo Politechniki Zielonogorskiej, 2000 (in Polish).
• 3. Altova GmbH homepage: http://www.altova.com.
• 4. Basile F., Chiachio P., Del Grosso D.: Modelling automation systems by UML and Petri Nets, Proceedings of the 9th International Workshop on Disscreet Event Systems, Goteborg, Sweden, 2008, pp. 308-313.
• 5. Clarke E.M., Grumberg O., Peled D.A.: Model checking, The MIT Press, 1999.
• 6. David R., Alla H.: Petri Nets & Grafcet. Tools for modeling discrete event systems, Prentice Hall, 1992.
• 7. Girault C., Valk R.: Petri Nets for Systems Engineering, A Guide to Modelling, Verification and Applications, Springer-Verlag Berlin Heidelberg, 2003.
• 8. 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 – MIXDES 2010, pp. 607-612.
• 9. Grobelny M., Grobelna I.: Diagramy aktywnosci jezyka UML i sieci Petriego w systemach sterowania binarnego – od transformacji do weryfikacji, Pomiary Automatyka Kontrola, nr 10, 2010, pp. 1154-1158.
• 10. Karatkevich A.: Dynamic Analysis of Petri Net-Based Discrete Systems, Springer-Verlag Berlin Heidelberg, 2007.
• 11. Grobelny M.: A short comparison between UML Activity Diagrams and Petri Nets in hardware behavioural modelling, X International PHD Workshop – OWD 2008, Conference Archives PTETiS, Vol. 25, pp. 433-436.
• 12. Object Management Group homepage: http://www.omg.org.
• 13. Staines T.S.: Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2008, pp. 11–200.
• 14. Gomes L., Barros J.P.: A. Costa: Modeling formalisms for embedded system design, Embedded Systems Handbook, Taylor & Francis Group, LLC, 2006.
• 15. WoPeD homepage: http://www.woped.org.
• 16. Wrycza S., Marcinkowski B., Wyrzykowski K.: Język UML 2.0 w modelowaniu systemow informatycznych, Helion, 2005 (in Polish).