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

IA041 Teorie a specifikace procesů

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

prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky

Rozvrh

Út 10:00–11:50 B011

Předpoklady

! I041 Teorie a specifikace procesů && IA006 Automaty

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

• Aplikovaná informatika (program FI, N-AP)
• Informatika (program FI, M-IN)
• Informatika (program FI, N-IN)
• Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
• Učitelství výpočetní techniky pro střední školy (program FI, M-TV)
• Učitelství výpočetní techniky pro střední školy (program FI, N-SS)

Cíle předmětu

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 - viz "Osnova".

Osnova

• Procesy, přechodové systémy s návěštími a jejich (konečná) specifikace. Operační sémantika. Caucalova a Mayrova hierarchie procesů.
• Vybrané sémantické ekvivalence procesů na přechodových systémech, jejich vzájemné vztahy (linear time - branching time spectrum).
• Možnosti algoritmické verifikovatelnosti sémantických ekvivalencí na vybraných třídách nekonečně stavových procesů (equivalence checking) -- nerozhodnutelnost, rozhodnutelnost a složitost.

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
• Handbook of process algebra. Edited by J. A. Bergstra - A. Ponse - Scott A. Smolka. Amsterdam: Elsevier, 2001, xiv, 1342. ISBN 0444828303. 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

Metody hodnocení

viz anotace

Informace učitele

http://www.fi.muni.cz/usr/kretinsky/

Další komentáře

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

• Statistika zápisu (jaro 2006, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2006/IA041