Bakalářská práce

Residue Component Synthesis for Handshake Composition

Filip Štefaňák, učo 256402
Anotace

Cieľom práce je prezentovať algoritmus pre syntézu komponenty väčšieho systému. Systém je vytvorený zložením z dvoch komponent špecifikovaných formálnym jazykom za použitia asynchrónnej, tzv. handshake kompozície. Vstupom algoritmu sú špecifikácie systému a jednej komponenty. Algoritmus vytvorí druhú komponentu tak, aby jej kompozícia s poskytnutou komponentou tvorila systém, ktorý vyhovuje špecifikácii. Metóda je úplná, čo znamená, že vždy nájde riešenie, ak nejaké existuje.

Abstract

The objective of this thesis is to devise an algorithm for synthesis of a component for larger system. The system is composed of two components specified by a formal language using an asynchronous handshake composition. Inputs of the algorithm are specifications of the system and one component. The algorithm synthesizes the residue component so that their composition with the provided component yields …více

Klíčová slova
residue synthesis component system bisimulation CCS parallel composition model checking interface equation bisimulace komponenta
Zadání práce
Cílem práce je prozkoumat možnost syntézy komponentového systému pro situace, kdy je určena část systému a jsou zadány požadované vlastnosti výsledného systému. Úkolem studenta je zjistit jaké techniky jsou dostupné pro řešení uvedeného problému. Dále je cílem navrhnout algoritmus pro řešení jednoduchých systémů (deterministické, s předepsaným chováním), popsat možnosti jeho použití a porovnat s existujícími řešeními.
Administrativní informace
Práce zkontrolována:
26. 5. 2010 15:24, prof. RNDr. Ivana Černá, CSc., učo 1419
Plný text práce
425,3 KB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
23. 6. 2010
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Ivana Černá, CSc., učo 1419
KTP FI MU

Oponent

doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721
KTP FI MU
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

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

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

Podobné práce

  • 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.