Grafické prostředí pro modelování pomocí automatů – Mgr. Milan Křivánek
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íceAbstract:
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
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.
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 informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
-
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
Barbora Zimmerová -
Formal Analysis of Component-Based Systems in View of Component Interactions
Barbora Zimmerová -
UML profil pro modelování komponentových systémů
Jiří Pagáč -
Abstractions of Component Interaction Automata
Ján Jaďuď -
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
Barbora Zimmerová -
Konfigurační nástroj pro programovatelné HVAC automaty
Michael Rádl -
Grafický nástroj pro podporu sazby jednoduchých obrázků
Karolína ZEMENOVÁ -
Nástroj pro generování VHDL z grafického popisu automatu
Erik Srogoň