Bakalářská práce

Návrh modelovacího jazyka nástroje DiVinE

Design of a modelling language for DiVinE

Tomáš Janoušek, učo 207561
Anotace

Práce se zabývá návrhem nového modelovacího jazyka pro verifikační nástroj DiVinE. V teoretické části shrnuje několik již existujících jazyků a diskutuje, proč nejsou dostatečné. Zbytek práce se věnuje návrhu a implementaci nového jazyka, který je koncipován jako vnořené DSL do Haskellu. V závěrečné části jsou popsány mechanismy, jak modely v takovém jazyce zkompilovat a použít v nástroji DiVinE.

Abstract

The thesis deals with a design of new modelling language for the DiVinE toolset. Theoretical part summarizes a few existing modelling languages and discusses their limitations. The rest of the thesis focuses on the design and implementation of this new language which is a DSL embedded into Haskell. The final part describes the technology that enables models in this language to be compiled and used from within the DiVinE toolset.

Klíčová slova
DiVinE Haskell EDSL ověřování modelů model checker modelovací jazyk
Zadání práce
Cílem bakalářské práce je porovnat stávající modelovací jazyk (DVE) verifikačního nástroje DiVinE s jiným, v praxi používaným, modelovacím jazykem (například Promelou), identifikovat nedostatky stávajícího jazyka, navrhnout rozšíření anebo jazyk nový, který tyto nedostatky odstraní, a toto následně implementovat. Výstup práce bude zahrnovat funkční interpret navrženého jazyka s možností vizualizace stavového prostoru, vhodný pro pozdější začlenění do nástroje DiVinE (tedy umožňující procházet graf pomocí počátečního stavu a funkce následníků).
Administrativní informace
Práce zkontrolována:
28. 5. 2010 08:35, prof. RNDr. Jiří Barnat, Ph.D., učo 3496
Plný text práce
705,4 KB / soubor PDF
Jazyk práce
čeština čeština
Termín obhajoby
21. 6. 2010
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU

Oponent

RNDr. Petr Ročkai, Ph.D., učo 139761
KPSK FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Aplikovaná informatika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Tomáš Janoušek FI B-AP BcAP, učo 207561 yn8c0/7
Janoušek, T.
27. 5. 2010
Složky
Obsah CD 13610516/3
Janoušek, T.
27. 5. 2010
Soubory
Anotace anglicky annotation_english.txt
Janoušek, T.
27. 5. 2010
Anotace česky annotation.txt
Janoušek, T.
27. 5. 2010
Klíčová slova keywords.txt
Janoušek, T.
27. 5. 2010
posudek_oponenta.pdf posudek_oponenta.pdf
Ročkai, P.
14. 6. 2010
thesis.pdf
Janoušek, T.
27. 5. 2010

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.