Verifikace komponentových systémů s dynamickou komunikací – Bc. Zuzana Petruchová
Bc. Zuzana Petruchová
Diplomová práce
Verifikace komponentových systémů s dynamickou komunikací
Verification of component-based systems with dynamic communication
Anotace:
Témou práce je modelovanie systémov zložených z autonómnych komponent. Ako základ našej práce sme zvolili dva existujúce formalizmy. Tieto formalizmy používajú pojem ensemblu na modelovanie skupín komponentov, ktoré spolu komunikujú pre dosiahnutie spoločného cieľa. Práca predstavuje nový modelovací jazyk, ktorý je založený na tomto prístupe a je navrhnutý tak, aby umožňoval formálnu verifikáciu takýchto …víceAbstract:
The main topic of this work is the modelling of systems consisting of autonomous components. We have chosen two existing formalisms as the basis for our work. These formalisms use the notion of ensembles to model groups of components that communicate to achieve a shared goal. The work introduces a new modelling language, the Dynamically communicating component language (DCCL) that is based on this …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 27. 5. 2013
Identifikátor:
https://is.muni.cz/th/h47g1/
Obhajoba závěrečné práce
- Obhajoba proběhla 24. 6. 2013
- Vedoucí: RNDr. Nikola Beneš, Ph.D.
- Oponent: doc. Ing. RNDr. Barbora Bühnová, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Teoretická informatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.