Zpět na vyhledávání

Mgr. Milan Křivánek

Bachelor's thesis

Grafické prostředí pro modelování pomocí automatů

Graphical interface for automata-based modelling
Abstract:
Práce popisuje návrh a implementaci grafického nástroje pro tvorbu modelů systémů pomocí Component-Interaction automatů. CI automaty představují vhodný formalismus pro zápis komponentově orientovaných systémů, který umožňuje zkoumat systémy z hlediska vzájemné interakce komponent. Nástroj umožňuje vytvářet primitivní automaty prostřednictvím grafického editoru a podporuje také jejich skládání pomocí …more
Abstract:
The thesis describes design and implementation of a graphical tool for Component-Interaction automata based modelling. CI automata represent a suitable formalism to describe component-based systems which allows us to examine the systems in light of interaction of the components. The tool enables the user to create primitive automata using a graphical editor and supports composing them using various …more
 

Keywords

Component-Interaction automaty modelování komponentových systémů grafický nástroj Java Component-Interaction automata component-based systems modelling graphical tool
 
Language used: Czech
Date on which the thesis was submitted / produced: 22. 5. 2008
Identifier: https://is.muni.cz/th/c4nqe/

Thesis defence

  • Date of defence: 23. 6. 2008
  • Supervisor: doc. Ing. RNDr. Barbora Bühnová, Ph.D.
  • Reader: RNDr. Radek Ošlejšek, 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