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íce
Abstract:
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

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.

Citační záznam

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 informatiky

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Teoretická informatika

Práce na příbuzné téma

  • Žádné práce na příbuzné téma.