Semiformálne modelovanie s využitím formálnych obmedzení a transformácie medzi notáciami procesov - diagram aktivít UML – Martin Gajdoš
Martin Gajdoš
Master's thesis
Semiformálne modelovanie s využitím formálnych obmedzení a transformácie medzi notáciami procesov - diagram aktivít UML
Semiformal modeling using formal constraints and transformation between process notations – Activity diagram notation
Abstract:
Tato diplomová práce se zabývá semiformálním modelováním prostřednictvím procesní modelovací notace diagramu aktivit UML, následnou transformací tohoto diagramu do jiných procesních notací, a v neposlední řadě kombinováním semiformálního modelování ve spojení s definovanými formálními omezeními. V úvodní části je čtenáři představena i problematika modelování, kde jsou vysvětleny pojmy spojené s touto …moreAbstract:
This diploma thesis deals with semiformal modeling using process modeling notation of the UML activity diagram, subsequent transformation of this diagram into other process notations and, last but not least, combining semiformal modeling in connection with defined formal constraints. In the introductory part, the reader is introduced to the issue of modeling, which explains the concepts associated …more
Language used: Slovak
Date on which the thesis was submitted / produced: 30. 4. 2022
Identifier:
http://hdl.handle.net/10084/147372
Thesis defence
- Date of defence: 1. 6. 2022
- Supervisor: Svatopluk Štolfa
- Reader: Jan Kožusznik
Citation record
ISO 690-compliant citation record:
GAJDOŠ, Martin. \textit{Semiformálne modelovanie s využitím formálnych obmedzení a transformácie medzi notáciami procesov - diagram aktivít UML}. Online. Master's thesis. Ostrava: VŠB - Technical University of Ostrava, Fakulta elektrotechniky a informatiky. 2022. Available from: https://theses.cz/id/x5qshe/.
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
- No theses on a related topic available.