Original title: Generování sekvenčních diagramů z modelů Petriho sítí
Translated title: Sequence Diagram Generation from Object-Oriented Petri Nets
Authors: Hoffmann, Michael ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
Document type: Master’s theses
Year: 2023
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]
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.
Keywords: generation; Java; JavaFX; object orientation; Object oriented Petri nets; OOPN; Petri nets; PNtalk; sequence diagrams; UML; generování; Java; JavaFX; objektová orientace; Objektově orientované Petriho sítě; OOPN; Petriho sítě; PNtalk; sekvenční diagramy; UML

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/211914

Permalink: http://www.nusl.cz/ntk/nusl-530179


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses