Generování sekvenčních diagramů z modelů Petriho sítí

Loading...
Thumbnail Image
Date
ORCID
Mark
B
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
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ě.
This diploma thesis aims to design and implement the mechanism of transformation of Object Oriented Petri Nets (OOPN) models into the form of sequence diagrams, as they are defined in the UML language. The OOPN formalism combines object-oriented language Smalltalk and Petri nets and is described by the PNtalk language. The resulting implementation will become part of the existing editor of Object-oriented Petri nets, where it will be possible to generate a sequence diagram from edited models.
Description
Citation
HOFFMANN, M. Generování sekvenčních diagramů z modelů Petriho sítí [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Softwarové inženýrství
Comittee
prof. Ing. Tomáš Hruška, CSc. (předseda) doc. RNDr. Jitka Kreslíková, CSc. (člen) Ing. Zbyněk Křivka, Ph.D. (člen) doc. RNDr. Pavel Smrž, Ph.D. (člen) Ing. Libor Polčák, Ph.D. (člen) doc. Ing. Michal Bidlo, Ph.D. (člen)
Date of acceptance
2023-06-21
Defence
Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm B.
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení
DOI
Collections
Citace PRO