Tool for Software Systems Design

Nástroj pro podporu vývoje systémů je aplikace sloužící pro usnadnění průběhu vývoje softwarových systémů. Pomocí diagramu užití pomáhá k lepšímu porozumění požadavků od zákazníka, následně s využitím diagramu tříd lze přepsat návrh do objektového konceptu a díky Objektově orientovaným Petriho sítím lze popsat chování systémů. V práci nejdříve popíší programy věnující se stejné problematice, poté se vysvětlí jednotlivé diagramy a Objektově orientované Petriho sítě. Následně bude představena samotná aplikace, její testování a možná vylepšení.The tool for software systems design is an aplication for simplification of system development. Use case diagram helps to make comunication between customer and developer better, then with the use of class diagram rewrite draft to object concept and thanks to object oriented Petri nets describe aplications behavior. First we will look on programs with similiar specialization, then describe each diagram and Object oriented Petri net. After that we will introduce application itself, testing and possible extensions.

Tool for Software Systems Design

Nástroj pro podporu vývoje softwarových systému je aplikace  sloužící pro vizuální znázornění průběhu vývoje aplikace. Slouží k porozumění požadavků od zákazníka, tyto požadavky převádí do objektového návrhu s možností popisu chování tříd pomocí objektově orientovaných Petriho sítí. V této práci se postupně popíší nástroje věnující se tomuto tématu, vyberou se jednotlivé diagramy a popíše se způsob implementace těchto diagramů. V závěru budou představeny možná rozšíření.The Tool for software systems design is an application for visualization of application development. It's main goal is to achieve connection between developer and customer. It should be used to understand customer's needs, prepare work ow of project and behaviour of each class and method using objected oriented Petri nets. In this work we will look on other programs, that focus on similiar topic, we then pick some diagrams and describe how they were implemented. At the end we will disguss possible extension for this tool.

The Tool for Object Oriented Petri Nets

Tato práce se zabývá tvorbou nástroje pro práci s Objektově orientovanými Petriho sítěmi za použití dvou rozdílných jazyků PNML a PNtalk. PNML slouží pro popis Petriho sítě, je založený na XML a jeho výhodou je, že dokáže každý prvek Petriho sítě popsat pomocí svých elementů. PNtalk je konkrétní implementací OOPN a je založený na jazyce Smalltalk. Nástroj pro práci s OOPN bude komunikovat s externí aplikací systémem PNtalk z důvodu výměny modelů. Na závěr budou navržena rozšíření nástroje.This thesis deals with creation of the tool for Object Oriented Petri Nets which uses two different languages PNML and PNtalk. PNML is an XML-based interchange format for Petri nets. Its advantage is that it is possible to describe each element of Petri net by element of PNML language. PNtalk is based on the formalism of Object Oriented Petri Nets and also on Smalltalk language. The tool for OOPN will communicate with the external application PNtalk system in order to exchange models between these two applications. There will be discussed possible extensions for the tool at the end of the thesis.

Object Oriented Petri Net Tool

Tato práce pojednává o vývoji a použití grafického editoru objektově orientovaných Petriho sítích implementovaných v jazyce PNtalk. Nejprve jsou zde popsány Petriho sítě rozšiřující se s postupem času. Navazuje na ně popis objektově orientovaného paradigma. Dále je zde popsána struktura objektově orientovaných Petriho sítí v implementaci PNtalku. Dále práce uvádí popis návrhu aplikace, kde je uvedena struktura celé aplikace z několika pohledů. Hlavní motivací pro vytvoření tohoto nástroje je snaha zpřístupnit objektově orientované Petriho sítě jejich uživatelům. Aplikace byla implementována ve frameworku JavaFX a celý postup je uveden v následující kapitole spolu s testováním. Výsledek práce je prezentován v příkladech obsažených v poslední kapitole, která obsahuje i podrobný manuál pro ovládání aplikace. Výsledný nástroj ve spolupráci s PNtalk serverem dovoluje uživatelům pohodlnější práci s OOPN a jejich vizuální podobou.This work deals with the development and use of a graphical editor of object-oriented Petri nets implemented in the PNtalk language. First, Petri nets that expand over time are described here. They are followed by a description of the object-oriented paradigm. Next, the structure of object-oriented Petri nets in the implementation of PNtalk is described here. Further work presents a description of the application design, which shows the entire structure of the application from the perspective of views. The main motivation for creating this tool is the effort to make object-oriented Petri nets accessible to their users. The application was implemented in the JavaFX framework and the whole procedure is given in the following chapter together with testing. The result of the work is presented in the examples contained in the last chapter, which also contains detailed manuals for controlling the application. The tool in cooperation with the PNtalk server enables users to work more pleasantly with OOPN and their visual appearance.

Petri Nets Application in Domain of Information Systems Project Planning

Diplomová práce se zabývá problematikou aplikace Petriho sítí v oblasti projektování informačních systémů. V rámci projektování jsou popsány základní pojmy, řízení projektu a portfolia, standardy a metodiky projektování. Dále je probráno modelování projektů a procesů. Je představen koncept modelování projektového portfólia, procesů a zdrojů pomocí objektově orientovaných Petriho sítí. Následně je naimplementován a otestován systém rozvrhování zdrojů v portfoliu. Závěrem jsou diskutována jeho rozšíření.Master's thesis deals with Petri nets application in domain of information systems project planning. The design describes the basic concepts of project and portfolio management, standards and methodologies. Is introduced the concept of project, portfolio and resource modelling through Object-oriented Petri Nets. Then schedulling is implemented and tested. Finally, the extensions are discussed.

Interpreter of Petri Nets Formalism

Tato práce se zabývá konceptem formalismu Petriho sítí, který umožňuje zkoumat dynamické chování paralelních a nedeterministických systémů. Dále se práce zabývá jeho variantou Objektově orientovaných Petriho sítí (OOPN), jejímž cílem je usnadnit proces modelování systémů objektově orientovaným přístupem. Cílem této diplomové práce je navrhnout vnitřní reprezentaci modelů OOPN vhodnou pro efektivní interpretaci a implementovat překladač z jazyka PNtalk do vnitřní reprezentace. Následně pak navrhnout a realizovat interpret modelů OOPN, který bude umožňovat provádění simulace běhu těchto modelů s tím, že výsledný interpret musí také kromě objektů Petriho sítí umět pracovat i s vybranou podmnožinou objektů z jazyka Java.This thesis deals with the concept of the formalism of Petri nets, which allows to investigate the dynamic behavior of parallel and nondeterministic systems. Furthermore, this deals with its variant of Object-Oriented Petri Nets (OOPN), which aims to facilitate the process of modeling systems with an object-oriented approach. The aim of this master thesis is to design an internal representation of OOPN models, which is suitable for efficient interpretation and implement compiler from PNtalk language into the internal representation. Subsequently, design and implement an OOPN model interpreter using this internal representation of models, which in addition to Petri net objects, must also be able to work with a selected subset of objects from the Java language.

Framework for Creation and Verification of Specification Models

Tato práce se zabývá objektově orientovanými Petriho sítěmi (OOPN) a tvorbou nástroje pro tvorbu a ověřování specifikačních modelů popsaných OOPN. V první části práce jsou popsány formalismy existujících typů Petriho sítí, včetně OOPN. Další část se zabývá tvorbou editačního nástroje, který také umožňuje spouštění simulačních modelů na vzdáleném serveru. Výstupem editoru je jednak grafická podoba Petriho sítě a také simulační model popsaný jazykem PNtalk, což je konkrétní implementace OOPN založená na jazyku Smalltalk. Simulační modely jsou spouštěny na serveru v prostředí Pharo. Na závěr práce jsou ukázány příklady konkrétních simulací a možná rozšíření nástroje.The thesis deals with Object Oriented Petri Nets (OOPN) and with developing of tool for creation and verification of specification models. In the first part of the thesis are described formalisms of existing Petri net types, including OOPN. Next part involves in creation of editing tool, that also allows triggering of simulation models on a remote server. Editor output is a graphic diagram of Petri net and also a simulation model described in PNtalk language, which is the implementation of OOPN based on Smalltalk language. Simulation models runs on the server in Pharo Smalltalk enviroment. At the end of the thesis are shown examples of appropriate simulations and possible tool extensions.

Code Generation from Object Oriented Petri Nets

Tato diplomová práce se zabývá generováním zdrojových kódů z jazyka PNtalk do standardních objektově orientovaných jazyků, např. C++ nebo Java. Rozebírá možnosti zjednodušeného modelování formalismu Objektově orientovaných Petriho sítí (OOPN) v prostředí těchto jazyků. Takový model by měl být jednodušší a efektivnější, než nabízí aktuální implementace v prostředí jazyka Smalltalk. Práce také uvádí návrh abstraktizace generátoru kódu tak, aby byl schopen generovat výsledný kód v různých jazycích.This thesis describes opinions about generating code from PNtalk language into more standard object orinted languages, such as C++ or Java. Goal is to construct model of the formalism of Object Oriented Petri Nets (OOPN), represented in PNtalk languege in mentioned languages. This model should be simlpier and more effective than actual implementation in Smalltalk language. Thesis also contains ideas about abstactization the code generator to be able to generate code in various languages.

Model Based Design of the Conference System

Tato diplomová práce se zabývá problematikou modelem řízeného návrhu a aplikace simulací v návrhu systémů. V rámci uvedení do problematiky práce diskutuje historii procesu vývoje SW a nastiňuje jeho aktuální stav. Cílem práce je demonstrovat modelem řízený návrh na případové studii konferenčního systému. Konkrétně zde budou představeny formalismy DEVS a OOPN  společně s experimentálními nástroji PNtalk a SmallDEVS, které umožňují práci s těmito formalismy. Výsledný model konferenčního systému bude nasazen jako součást webové aplikace implementované pomocí frameworku Seaside v prostředí Squeak.This thesis deals with the topic of  model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN  together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.