FI:I041 Teorie a specifikace procesů - Informace o předmětu

I041 Teorie a specifikace procesů

Fakulta informatiky
jaro 2002

Rozsah

0/2. 2 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: zk, z.

Vyučující

prof. RNDr. Mojmír Křetínský, CSc. (přednášející)

Garance

Rozvrh

Čt 15:00–16:50 B411

Předpoklady

I005 FJA I && I006 FJA II && I010 Komunikace a paralelismus && M006 Teorie množin && M009 Algebra II

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

Osnova

Jedná se o seminář, kde jako hlavní náplň se předpokládá aktivní účast členů semináře, tj. nastudování a přednesení problematiky (podkapitola z knihy, článek z časopisu, referát z konference atp. -- vesměs psáno v angličtině) zadané po dohodě s vedoucím semináře. Po referátu bude následovat diskuse k problematice. Náplň semináře lze přizpůsobit požadavkům/přáním účastníků při respektování uvedeného rámcového obsahu.
Modelování a specifikace procesů: vybrané kalkuly/algebry procesů, jejich operační sémantika.
Příklady specifikace procesů.
Vybrané sémantické ekvivalence procesů na přechodových systémech, jejich vzájemné vztahy.
Možnosti algoritmické verifikovatelnosti -- (ne)rozhodnutelnost jistých sémantických ekvivalencí na vybraných třídách procesů.

Literatura

BAETEN, J.C.M. a W.P. WEIJLAND. Process Algebra. Cambridge: Cambridge University Press, 1990, 248pp. Cambridge Tracts in Theoret.Computer Science. ISBN 0-521-40043-0. info
BURKART, Olaf. Automatic verification of sequential infinite-state processes. Berlin: Springer, 1997, 163 s. ISBN 3540639829. info
Články z časopisů a sborníků konferencí, dle specifikace vyučujícího

Další komentáře

Předmět je vyučován jednou za dva roky.

Předmět je zařazen také v obdobích léto 1996, léto 1997, jaro 1999.