Semiformální modelování procesů na základě formálních omezení – Vojtěch Ferák
Vojtěch Ferák
Diplomová práce
Semiformální modelování procesů na základě formálních omezení
Semiformal Process Modeling Based on Formal Constraints
Anotace:
Tato diplomová práce se zaměřuje na využití moderních technologií při návrhu a vývoji webové aplikace pro semiformální modelování procesů na základě formálních omezení. V rámci teoretické části práce je popsána problematika modelování procesů a představena metodika UPMM vyvíjená katedrou informatiky. V praktické částí je poté provedena analýza požadavků, návrh architektury, definice technologií a implementace …víceAbstract:
This thesis focuses on the use of modern technologies in the design and development of a web application for semi-formal process modeling based on formal constraints. The theoretical part of the thesis describes the issues of process modeling and introduces the UPMM methodology developed by the Department of Computer Science. The practical part includes analysis of requirements, architecture design …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 30. 4. 2023
Identifikátor:
http://hdl.handle.net/10084/150308
Obhajoba závěrečné práce
- Obhajoba proběhla 31. 5. 2023
- Vedoucí: Svatopluk Štolfa
- Oponent: David Ježek
Citační záznam
Citace dle ISO 690:
FERÁK, Vojtěch. \textit{Semiformální modelování procesů na základě formálních omezení}. Online. Diplomová práce. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2023. Dostupné z: https://theses.cz/id/nb8e4q/.
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: VŠB – Technická univerzita OstravaVŠB – Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyMagisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
Modelování a optimalizace podnikového procesu
Otto Jelínek -
Development and study of hybrid PVD-PECVD process
Tereza Schmidtová -
Analýza a optimalizace vybraného procesu v organizaci
Kateřina Pišová -
Web Application for Parametric Modelling of 2D Shapes Using Geometric Constraints
Miroslav Šerý -
Application of Machine Learning Models within Credit Risk Modelling
Petr Nguyen -
Tool for Transforming BPMN4FRSS Models to Attack Scenarios
Ondřej Holiš -
Web-Based Editor for BPMN4FRSS Models
Tomáš Sedláček -
Modelování podnikových procesů pomocí BPMN a Petriho sítí
Samuel Spišák