Grafický webový editor LTS a nástroj pro počítání bisimulace

Mgr. Jan Havlíček

Bakalářská práce

Web graphical LTS editor and bisimulator

Anotace:

Práce se zabývá přechodovými systémy a relací bisimulace. Výstupem je applet umožňující návrh přechodového systému a názornou demonstraci průběhu výpočtu bisimulace metodou postupných aproximací. V úvodních kapitolách jsou rozebrány použité pojmy a algoritmy, následuje popis jejich implementace a v závěru lze nalézt uživatelskou příručku k aplikaci včetně ukázkových příkladů.

Abstract:

This thesis addresses the topic of labeled transition systems and bisimilarity relation. Its result is an applet capable of designing labeled transition systems and visual demonstration of bisimilarity relation computation using the method of gradual approximations. All necessary definitions and algorithms are introduced in the first two chapters, followed by the description of their implementation and the ending is dedicated to the user's guide with illustrative examples.

Klíčová slova

Přechodový systém, LTS, bisimulace, metoda postupných aproximací, applet, force-directed placement

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 19. 5. 2011

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

• Obhajoba proběhla 24. 6. 2011
• Vedoucí: prof. RNDr. Jiří Barnat, Ph.D.
• Oponent: prof. RNDr. Mojmír Křetínský, CSc.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Matematická informatika