Detail akce

Seminář UIFS - M. Rychlý: Formální sémantika komponentově orientovaných systémů

SUIFS

Místo konání
FIT Božetěchova 1, zasedací místnost L116, Božetěchova 2, 612 00 Brno, CZ
Pořadatel
Typ
seminář
Přístupnost
volná
Popis

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

Nahoru