Abstractions of Component Interaction Automata

Bc. Ján Jaďuď

Bakalářská práce

Anotace:

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 A-LTL a reláciou simulácie a je predstavený algoritmus na výpočet abstrakcie Komponentovo-Interakčného Automatu.

Abstract:

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 equivalent results. Finally, the relationship between Action-Linear Temporal Logic and simulation is discussed and an algorithm for computing the abstraction of a given automaton is demonstrated.

Keywords

Component Interaction Automata, Action-based simulation, Coma-simulation, abstraction, Coma-abstraction, composition, E-composition, equivalence, A-LTL, algorithm, quotient-state space

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 19. 5. 2011

Obhajoba závěrečné práce

• Obhajoba proběhla 24. 6. 2011
• Vedoucí: prof. RNDr. Ivana Černá, CSc.
• Oponent: RNDr. Nikola Beneš, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Matematická informatika