Original title:
Generování sekvenčních diagramů z modelů Petriho sítí
Translated title:
Code Generation from Object Oriented Petri Nets
Authors:
Kelemen, Erik ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor) Document type: Bachelor's theses
Year:
2021
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Táto práca se zaoberá transformáciou modelu systému popísaného objektovo orientovanou Petriho sieťou na sekvenčný diagram, ktorý umožňuje spätné mapovanie aktivít sekvenčného diagramu do popisu modelu. K riešeniu je použitá diskrétna simulácia modelu popísaná jazykom PNtalk. Výsledkom práce je plne automatický generátor, ktorý pomocou dát z diskrétnej simulácie vygeneruje sekvenčný diagram. Pre generátor je dôležitá minimálna strata informácie zo simulácie a prezentácia validného sekvenčného diagramu.
This thesis focuses on transformation model described by object oriented Petri net to sequence diagram, which allows reverse mapping to original description. As a solution is used discrete simulation of model described in PNtalk language. Result of work is fully automated generator, which generates sequence diagram according to gathered data from simulation. Generator aims for minimal loss of relevant information and presenting valid sequence diagram.
Keywords:
discrete simulation; Docker; gRPC; JavaFX; object oriented Petri nets; sequence diagram; software engineering; TornadoFX; diskrétna simulácia; Docker; gRPC; JavaFX; objektovo orientované Petriho siete; sekvenčný diagram; softvérové inžinierstvo; TornadoFX
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/201094