Adatfolyamhálók táblás gyakorlat

Táblás gyakorlat adatfolyamhálók témakörben.

Demonstrált témák:

• egyszerű csomópontok konstrukciója specifikáció alapján
• adatfolyamháló kompozíciója csomópontokból
• végtelen állapottér és következményei
• konkurrencia, sorrendezési kérdések
• nemdeterminizmus és valószínűségi (markovi) modellek közti különbség
• állapot, token és struktúra szerinti absztrakció, finomítás
• absztrakció és finomítás ellenőrzése
• "mechanikus" módszer állapot/token absztrakcióra (információvesztéses), többletinformáció bevitele finomításkor
• absztrakció és nemdeterminizmus viszonya
• absztrakt modellek előnyei, top-down tervezés