Lukáš Potenský

Diplomová práce

Nástroj pro verifikaci workflow sítě

Software for Workflow Verification
Anotace:
O pojmu workflow se poprvé hovoří v roce 1980. Od té doby se z něj stává velmi často skloňovaný termín užívaný při každodenní práci ve větších společnostech. Tato práce se zabývá jednak možnostmi specifikace workflow pomocí vybrané části modelovacího jazyka UML 2.0 a to konkrétněji pomocí podmnožiny prvků diagramu aktivit jazyka UML 2.0. Dále také pojednává o možnostech verifikace takto specifikovaného …více
Abstract:
Conception of workflow was found in 1980. Since that time it has became very frequently used term in everyday work in bigger companies. This thesis deals with possibilities of workflow specification using chosen subsection of UML 2.0 modeling language, more precisely it deals with modeling of workflow using subset of UML 2.0 activity diagram elements. It also describes possibilities of verification …více
 

Keywords

workflow Workflow síť Petriho síť formální verifikace graf dosažitelnosti spolehlivost UML diagram aktivit Eclipse platform Eclipse GEF Eclipse RCP Workflow net Petri net formal verification reachability graph soundness activity diagram
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 2009
Identifikátor: http://hdl.handle.net/10084/73868

Obhajoba závěrečné práce

  • Vedoucí: David Ježek
  • Oponent: Svatopluk Štolfa

Citační záznam

Citovat tuto práci

Plný text práce

Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Vysoká škola báňská - Technická univerzita Ostrava

Vysoká škola báňská - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Magisterský studijní program / obor:
Informační technologie / Informatika a výpočetní technika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
Všechny práce