Název:
Generování sekvenčních diagramů z modelů Petriho sítí
Překlad názvu:
Code Generation from Object Oriented Petri Nets
Autoři:
Kelemen, Erik ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2021
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [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.
Klíčová slova:
diskrétna simulácia; Docker; gRPC; JavaFX; objektovo orientované Petriho siete; sekvenčný diagram; softvérové inžinierstvo; TornadoFX; discrete simulation; Docker; gRPC; JavaFX; object oriented Petri nets; sequence diagram; software engineering; TornadoFX
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/201094