Bachelor's thesis

Design of a modelling language for DiVinE

Návrh modelovacího jazyka nástroje DiVinE

Tomáš Janoušek, UČO 207561
Abstract

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.

Keywords
DiVinE Haskell EDSL ověřování modelů model checker modelovací jazyk
Thesis description
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ů).
Administrative information
The thesis has been checked:
28/5/2010 08:35, prof. RNDr. Jiří Barnat, Ph.D., UČO 3496
Full text of thesis
705,4 KB / file PDF
Language used
Czech Czech
Defence date
21/6/2010
The thesis was defended successfully

Supervisor

prof. RNDr. Jiří Barnat, Ph.D., UČO 3496
KTP FI MU

Reader

RNDr. Petr Ročkai, Ph.D., UČO 139761
KPSK FI MU
Cite this text
Masaryk University Faculty of Informatics
Programme
Applied Informatics
Field of Study

Theses on a related topic

List of theses with an identical keyword.

Similar documents
 
Name
Posted by
Uploaded/Created
Rights
Archive of Thesis/Dissertation Tomáš Janoušek FI B-AP BcAP, učo 207561 yn8c0/7
Janoušek, T.
27/5/2010
Folders
Obsah CD 13610516/3
Janoušek, T.
27/5/2010
Files
Abstract (in English) annotation_english.txt
Janoušek, T.
27/5/2010
Abstract (in Czech) annotation.txt
Janoušek, T.
27/5/2010
Keywords 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

  • Co je jinak přidání souboru

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

  • Co je jinak další operace se soubory

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

  • Co je jinak pohled pro experty

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

  • Co je nové vyhledávání souborů

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

  • Co je nové 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.

  • Co se chystá

    Připravujeme další vylepšení pro mobilní zařízení.