Mgr. Milan Křivánek

Bakalářská práce

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

Graphical interface for automata-based modelling
Anotace:
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í …více
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 …více
 

Klíčová slova

Component-Interaction automaty modelování komponentových systémů grafický nástroj Java Component-Interaction automata component-based systems modelling graphical tool
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 22. 5. 2008
Identifikátor: https://is.muni.cz/th/c4nqe/

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

  • Obhajoba proběhla 23. 6. 2008
  • Vedoucí: doc. Ing. RNDr. Barbora Bühnová, Ph.D.
  • Oponent: RNDr. Radek Ošlejšek, Ph.D.

Citační záznam

Citovat tuto práci

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
Složka Odkaz na adresář do lokálního úložiště instituce