Grafické prostředí pro modelování pomocí automatů – Mgr. Milan Křivánek
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í …moreAbstract:
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
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
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Informatics
Theses on a related topic
-
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ň