I041 Teorie a specifikace procesů

Fakulta informatiky
léto 1997
Rozsah
0/2. 2 kr. 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
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Předpoklady
Vstupní požadavek: absolvování předmětu I010 Komunikace a paralelismus, I005 Formální jazyky a automaty I, I006 Formální jazyky a automaty II, 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ů.
Předmět je zařazen také v obdobích léto 1996, jaro 1999, jaro 2002.