Zpět na vyhledávání

Lukáš Potenský

Master's thesis

Nástroj pro verifikaci workflow sítě

Software for Workflow Verification
Abstract:
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 …more
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 …more
 

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
 
Language used: Czech
Date on which the thesis was submitted / produced: 2009
Identifier: http://hdl.handle.net/10084/73868

Thesis defence

  • Supervisor: David Ježek
  • Reader: Svatopluk Štolfa

Citation record

Cite this text

Full text of thesis

Accessibility: 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.

Contents of on-line thesis archive
Published in Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Vysoká škola báňská - Technická univerzita Ostrava

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

Fakulta elektrotechniky a informatiky

Master programme / field:
Informační technologie / Informatika a výpočetní technika

Theses on a related topic

List of theses with an identical keyword.
All theses