- Tytuł:
-
From formal methods to implementation based on Petri Nets model of concurrent systems
Od metod formalnych do implementacji na przykładzie modelu w sieci Petriego systemu współbieżnego - Autorzy:
- Wojciechowski, J.
- Powiązania:
- https://bibliotekanauki.pl/articles/152825.pdf
- Data publikacji:
- 2007
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Mechaników Polskich
- Tematy:
-
sieci Petriego
metody formalne
rzutowanie
modele klas w Java
procedury w języku C
Petri nets
formal methods
mapping
C language - Opis:
-
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.
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. - Źródło:
-
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 132-134
0032-4140 - Pojawia się w:
- Pomiary Automatyka Kontrola
- Dostawca treści:
- Biblioteka Nauki
Artykuł