Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Generování sekvenčních diagramů z modelů Petriho sítí
Hoffmann, Michael ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Cílem této diplomové práce je návrh a následná implementace mechanismu transformace modelů Objektově orientovaných Petriho sítí (OOPN) do podoby sekvenčních diagramů tak, jak jsou definovány v jazyce UML. Pro popis formalismu OOPN je zde použit jazyk PNTalk. Který propojuje objektově orientovaný jazyk Smalltalk a Petriho sítě. Výsledná implementace se stane součástí stávajícího editoru Objektově orientovaných Petriho sítí, kde bude možné vygenerovat sekvenční diagram z editovaného modelu sítě.
Sequence Diagram Generation from Object-Oriented Petri Nets
Beňo, Adam ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
The thesis focuses on the issue of sequence diagram generation from scenarios modelled by object-oriented Petri nets (OOPN). It aims on module implementation into existing OOPN editor which enables showing sequence diagrams from individual simulations and is connected with simulated model. The user thus gets complete overview of the simulation process and is able to detect errors in OOPN models.

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.