|
|
Nástroj pro podporu vývoje softwarových systémů
Hrubý, Daniel ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
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í.
|
|
|
Nástroj pro práci s Objektově orientovanými Petriho sítěmi
Josefík, Martin ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
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.
|
|
|
Knihovna vzorů Petriho sítí
Hanák, Martin ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato bakalářská práce se zabývá vytvářením modelů pomocí formalismu Objektově orientovaných Petriho sítí (dále jen OOPN). Rozebírá význam a možnosti tohoto formalismu a ve své druhé části se snaží identifikovat užitečné nebo často se opakující vzory. Tyto vzory jsou inspirovány konstrukcemi klasických programovacích jazyků. Jde především o manipulaci s daty a řízení běhu programu. Nalezené vzory popisují a diskutují možnosti modelování takových konstrukcí pomocí OOPN.
|
|
|
Editor objektově orientovaných Petriho sítí
Kovács, Zoltán ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Práce se věnuje návrhu a implementace editoru OOPN popsaných jazykem PNTalk. Vytvoří se kompatibilní zobrazení PNTalk a formát uložení založený na technologií XML. V návrhu jednotlivých částí editoru je kladen důraz na vnitřní uložení objektů, grafického uživatelského rozhraní a funkcionalitu. V závěru práce jsou demonstrovány praktické ukázky z aplikace.
|
|
|
Nástroj pro podporu vývoje softwarových systémů
Hala, Karel ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
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í.
|
|
|
Generování kódu z Objektově orientovaných Petriho sítí
Hanák, Martin ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
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.
|
host ::
RSS.