From formal methods to implementation based on Petri Nets model of concurrent systems

• Autorzy: Wojciechowski J.

Warianty tytułu

PL

Od metod formalnych do implementacji na przykładzie modelu w sieci Petriego systemu współbieżnego

• Języki publikacji: EN

Abstrakty

EN

Purpose of this work is to suggest a path from formal methods to implementation in designing concurrent system, thus helping further stages of systems development to go on. Author focuses on mapping of nonhierarchical Coloured Petri Nets model to class model of the system in Java and C language. Author extends among others formal model with information which would imply generation of class models from formal model, conforming to Java specification and C language, making continuous integration possible. The whole cycle would be presented with changed Petri Nets model of simple concurrent system.

PL

Celem pracy jest zaproponowanie ścieżki przejścia od modelu formalnego systemu opisanego siecią Petriego do implementacji. Autor skupia się na rzutowaniu niehierarchicznych modeli sieci do modelu klas odpowiadającemu obiektowemu paradygmatowi programowania języka Java i proceduralnemu dla języka C. Autor rozszerza model formalny o informację umożliwiającą dokonanie konwersji do modelu klas i procedur. Cały cykl będzie zaprezentowany na prostym systemie współbieżnym.

Słowa kluczowe

EN

Petri nets; formal methods; mapping; C language

PL

sieci Petriego; metody formalne; rzutowanie; modele klas w Java; procedury w języku C

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2007
• Tom: R. 53, nr 5
• Strony: 132--134
• Opis fizyczny: Bibliogr. 9 poz., rys.

Twórcy

autor

Wojciechowski J.

• Department of Microelectronics and Computer Science, Technical University of Lodz,

Bibliografia

• [1] Meta Software Corporation, Design/CPN tutorial, Cambridge.
• [2] Węgrzyn A.: Symboliczna analiza układów sterowania binarnego z wykorzystaniem wybranych metod analizy sieci Petriego, Oficyna wydawnicza Uniwersytetu Zielonogórskiego 2003.
• [3] Claude Girault, Rudiger Valk: Petri Nets for System Engeeniering, Springer 2002.
• [4] Jensen K., Kristensen L .M., Wells L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems, Department of Com puler Science University of Aarhus.
• [5] Document Object Model, DOM parser http://www.w3.org/DOM/faq.html
• [6] Gosling J., Joy B., Steele G., Bracha G. "The Java Language Specifcation", Second Edition. Addison-Wesley, 2000.
• [7] Agha G., De Cindio Eds F. Concurrent Object-Oriented Programming and Petri Nets. Lecture Note in Computer Science. Spring-Verlag, 1998.
• [8] Puczyński M., Węgrzyn M., Implementacja hierarchicznej sieci Petriego w C++, XIII Krajowe Sympozjum Kola Zastosowań Cybernetycznych, WAT, Warszawa, 13.11.1997.
• [9] Bukowiec A., Wegrzyn A. Metody zintegrowanego projektowania sprzętu i oprogramowania z wykorzystaniem nowoczesnych układów programowalnych, XVII Krajowe Sympozjum Koła Zainteresowań Cybernetycznych, WAT, Warszawa, 08.11.2001, ss. 7-12.