Seminář o informačních systémech - M. Rychlý

Seminář je organizován Ústavem informačních systémů Fakulty informačních technologií Vysokého učení technického v Brně. Je zaměřen především na teoretické a praktické aspekty informačních systémů a jejich použití. Seminář se koná v zasedací místnosti FIT B053 každé pondělí 12.15 - 13.15 v průběhu semestru.

Výběr minulých seminárních příspěvků včetně jejich zvukových záznamů naleznete na http://www.fit.vutbr.cz/units/UIFS/events/.

Tento seminář se bude výjimečně konat v zasedací místnosti B123

Program 27.3.

Autor: Mgr. Marek Rychlý
Název: Rámec pro systémy asynchronních souběžných procesů
Abstrakt
Distribuované informační systémy vyžadují spolehlivé architektury s důrazem na formální specifikaci a verifikaci. Softwarové konfederace a globální softwarové systémy ve skutečnosti spojují mnoho souběžných procesů do asynchronních síťových systémů, např. pomocí architektur orientovaných na služby (SOA) nebo multi-agentních systémů. Tato prezentace představí objektově orientovaný softwarový rámec pro systémy asynchronních souběžných procesů, který bude vycházet z upraveného asynchronního síťového modelu. Rámec poskytne prostředky pro implementaci uvedených systémů a jejich automatický překlad do procesní algebry, konkrétně kalkulu mobilních procesů (pi-kalkulu).

Podklady
Slidy: s060327slidy1.pdf

Záznam vystoupení
Záznam vystoupení ve formátu MP3 (53 minut, cca 12 MB): s060327zaznam1.mp3