FI:IA041 Teorie a specifikace procesů - Informace o předmětu
IA041 Teorie a specifikace procesů
Fakulta informatikyjaro 2022
- Rozsah
- 0/2. 2 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: 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
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- St 16. 2. až St 11. 5. St 16:00–17:50 B411
- Předpoklady
- IA006 Automaty
Znalost problematiky v rozsahu předmětu IA006 - Vybrané kapitoly z teorie automatů, IB107 - Vyčíslitelnost a složitost - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 20 stud.
Momentální stav registrace a zápisu: zapsáno: 0/20, pouze zareg.: 0/20, pouze zareg. s předností (mateřské obory): 0/20 - Mateřské obory/plány
- Analýza a zpracování obrazu (program FI, N-VIZ)
- Aplikovaná informatika (program FI, N-AP)
- Bezpečnost informačních technologií (angl.) (program FI, N-IN)
- Bezpečnost informačních technologií (program FI, N-IN)
- Bioinformatika a systémová biologie (program FI, N-UIZD)
- Bioinformatika (program FI, N-AP)
- Computer Games Development (program FI, N-VIZ_A)
- Computer Graphics and Visualisation (program FI, N-VIZ_A)
- Computer Networks and Communications (program FI, N-PSKB_A)
- Cybersecurity Management (program FI, N-RSSS_A)
- Formální analýza počítačových systémů (program FI, N-TEI)
- Grafický design (program FI, N-VIZ)
- Graphic Design (program FI, N-VIZ_A)
- Hardware Systems (program FI, N-PSKB_A)
- Hardwarové systémy (program FI, N-PSKB)
- Image Processing and Analysis (program FI, N-VIZ_A)
- Informační bezpečnost (program FI, N-PSKB)
- Informační systémy (program FI, N-IN)
- Information Security (program FI, N-PSKB_A)
- Kvantové a jiné neklasické výpočetní modely (program FI, N-TEI)
- Paralelní a distribuované systémy (program FI, N-IN)
- Počítačová grafika a vizualizace (program FI, N-VIZ)
- Počítačová grafika (program FI, N-IN)
- Počítačové sítě a komunikace (program FI, N-IN)
- Počítačové sítě a komunikace (program FI, N-PSKB)
- Počítačové systémy (program FI, N-IN)
- Principy programovacích jazyků (program FI, N-TEI)
- Programovatelné technické struktury (angl.) (program FI, N-IN)
- Programovatelné technické struktury (program FI, N-IN)
- Řízení kyberbezpečnosti (program FI, N-RSSS)
- Řízení vývoje služeb (program FI, N-RSSS)
- Řízení vývoje softwarových systémů (program FI, N-RSSS)
- Services Development Management (program FI, N-RSSS_A)
- Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
- Služby - výzkum, řízení a inovace (program FI, N-AP)
- Sociální informatika (program FI, B-AP)
- Software Systems Development Management (program FI, N-RSSS_A)
- Software Systems (program FI, N-PSKB_A)
- Softwarové systémy (program FI, N-PSKB)
- Strojové učení a umělá inteligence (program FI, N-UIZD)
- Teoretická informatika (program FI, N-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
- Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
- Vývoj počítačových her (program FI, N-VIZ)
- Zpracování a analýza rozsáhlých dat (program FI, N-UIZD)
- Zpracování obrazu (program FI, N-AP)
- Zpracování přirozeného jazyka (program FI, N-UIZD)
- Cíle předmětu
- Student má nastudovat, porozumět, prezentovat a aplikovat metody a nástroje používané při modelování, analýze a verifikaci souběžných procesů.
- Výstupy z učení
- Na konci tohoto semináře bude student schopen:
rozumět a aplikovat základní techniky používané při modelování, analýze a verifikaci souběžných procesů.
Na základě nabytých znalostí je student schopen odvozovat rozhodnutí relevantní v předmětné oblasti. - 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
- Výukové metody
- 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. Počet účastníků je omezen.
- Metody hodnocení
- semináře, aktivní účast (presentace a diskuse)
- 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 (nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2022/IA041