Abstractions of Component Interaction Automata – Bc. Ján Jaďuď
Bc. Ján Jaďuď
Bachelor's thesis
Abstractions of Component Interaction Automata
Abstractions of Component Interaction Automata
Anotácia:
Práca poníma o Komponentovo-Interakčných Automatoch a rôznych možnostiach ich abstrakcie a kompozície. Sú predstavené základné typy abstrakcie a kompozície, ktoré sú následne vylepšené za účelom dosiahnutia lepších výsledkov. Hlavným cieľom práce je dokázať, že nezáleží na poradí aplikovania abstrakcie a kompozície, pretože získané výsledky sú simulačne ekvivalentné. Záver práce študuje vzťah medzi …viacAbstract:
This thesis disserts on Component Interaction Automata and various possibilities for their abstraction and composition. Firstly, basic types of abstraction and composition are presented which are subsequently refined to provide better results. The main goal is to prove that the order of applying abstraction and composition to two Component Interaction Automata is irrelevant as it yields simulation …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 19. 5. 2011
Identifikátor:
https://is.muni.cz/th/by45g/
Obhajoba závěrečné práce
- Obhajoba proběhla 24. 6. 2011
- Vedúci: prof. RNDr. Ivana Černá, CSc.
- Oponent: RNDr. Nikola Beneš, 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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Informatics / Mathematical Informatics