Semiformální modelování procesů na základě formálních omezení – Jiří Besta
Jiří Besta
Master's thesis
Semiformální modelování procesů na základě formálních omezení
Semiformal Process Modeling Based on Formal Constraints
Abstract:
Hlavním cílem této práce bylo vytvořit nástroj, který by umožňoval grafické zobrazování procesů při dodržování určitých formálních a semiformálních omezení za využití notace BPMN. V teoretické části jsou čtenáři přiblíženy již existující nástroje používané v této oblasti společně s bližším vysvětlením základních pojmů a přístupů v oblasti modelování procesů. V další části jsou čtenáři přiblíženy samotné …moreAbstract:
The main goal of this thesis was to create a tool that would allow graphical representation of processes while adhering to certain formal and semi-formal constraints using the BPMN notation. In the theoretical part, reader is introduced to existing tools used in this field, along with a closer explanation of basic terms and approaches in process modeling. In the next section, reader is presented with …more
Language used: Czech
Date on which the thesis was submitted / produced: 30. 4. 2023
Identifier:
http://hdl.handle.net/10084/150315
Thesis defence
- Date of defence: 31. 5. 2023
- Supervisor: Svatopluk Štolfa
- Reader: David Ježek
Citation record
ISO 690-compliant citation record:
BESTA, Jiří. \textit{Semiformální modelování procesů na základě formálních omezení}. Online. Master's thesis. Ostrava: VŠB - Technical University of Ostrava, Fakulta elektrotechniky a informatiky. 2023. Available from: https://theses.cz/id/y771yw/.
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: VŠB – Technická univerzita OstravaVSB – Technical University of Ostrava
Fakulta elektrotechniky a informatikyMaster programme / field:
Informační a komunikační technologie / Informatika a výpočetní technika
Theses on a related topic
-
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á -
Ekonomická analýza procesu zhotovení výrobku pomocí technologie 3D tisku a vyčíslení reálných nákladů výroby
Martin Pinta -
Modeling transport processes of small molecules through tunnels in proteins
Němcová Němcová -
Analýza a optimalizace vybraného procesu v organizaci
Kateřina Pišová -
Optimalizace procesu výběru dodavatele ve vybraném podniku
Marek Poláček -
Analýza a optimalizace vybraného procesu v organizaci
Šárka Abíková