Bc. Ján Jaďuď

Bachelor's thesis

Abstractions of Component Interaction Automata

Abstractions of Component Interaction Automata
Abstract:
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 …more
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 …more
 

Keywords

Component Interaction Automata Action-based simulation Coma-simulation abstraction Coma-abstraction composition E-composition equivalence A-LTL algorithm quotient-state space
 
Language used: English
Date on which the thesis was submitted / produced: 19. 5. 2011
Identifier: https://is.muni.cz/th/by45g/

Thesis defence

  • Date of defence: 24. 6. 2011
  • Supervisor: prof. RNDr. Ivana Černá, CSc.
  • Reader: RNDr. Nikola Beneš, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Mathematical Informatics

Theses on a related topic

List of theses with an identical keyword.