Nástroj pro verifikaci workflow sítě – Lukáš Potenský
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íceAbstract:
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
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
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 OstravaVysoká škola báňská - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyMagisterský studijní program / obor:
Informační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
Verifikace MPI programů pomocí DIVINE
Marek Tomáštík -
Modelování stateflow diagramů pro účely verifikace
Pavla Kratochvílová -
Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
Tomáš AUSBERGER -
Program Slicing and Symbolic Execution for Verification
Marek Chalupa -
Modelování a verifikace platebního systému
Marharyta Zhuk -
Formal Verification of Component Interaction in Component-Based Systems
Nikola Beneš -
Efficient Verification of Multi-Objective Queries in Markov Decision Processes
Vít Unčovský -
Workflow - Document Management System
Lucie Němečková