Detail akce
Seminář UIFS - M. Rychlý: Formální sémantika komponentově orientovaných systémů
SUIFS
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 L116 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/.
Program 12.3.
Autor: Marek Rychlý
Název: Formální sémantika komponentově orientovaných systémů
Abstrakt
Požadavky kladené na moderní informační systémy mohou výrazně ovlivňovat jejich architekturu, která se musí přizpůsobit např. velikosti a struktuře organizace a v ní zavedeným procesům a systémům, rozhraním systémů třetích stran, technickým a finančním omezením, bezpečnostní politice, marketingovým rozhodnutím, atd. Takové systémy je pak vhodné rozložit na komponenty, které poskytují pouze část funkcionality celého systému a mají přesně definované rozhraní. V tomto semináři stručně představíme komponentové modely s formální sémantikou, které umožní formální popis a následnou verifikaci architektur rozsáhlých komponentově orientovaných systémů. V první části semináře se zaměříme na stávající komponentové modely, vlastnosti dynamických a mobilních architektur, vztah komponentově orientovaných architektur a architektur orientovaných na služby. Druhá část semináře bude věnována probíhajícímu výzkumu v oblasti komponentového modelu s podporou mobilních architektur a formální sémantikou.
Záznam vystoupení
Záznam vystoupení ve formátu MP3 (47 minut, cca 11 MB): s070312zaznam1.mp3