Visual Coordination Networks

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Visuální koordinační sítě
Autoři

ŠAFRÁNEK David

Rok publikování 2006
Druh Účelové publikace
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Popis Práce obsahuje návrh a formální popis jazyka Visuální koordinační sítě (VCN) pro visuální specifikaci architektury souběžných systémů. Součástí práce je definice operační sémantiky jazyka VCN a automatizovaná metoda pro ověřování korektnosti vzájemné komunikace podsystémů v dané architektuře. Přístup uplatněný v této práci kombinuje znalosti z teorie koordinačních jazyků spolu se znalostmi z teorie souběžnosti, k nimž přidává možnost visuálního popisu inspirovaného notacemi UML. Vzniká tak původní přístup k formálnímu popisu souběžných systémů, který přibližuje možnosti formálního ověřování běžným systémovým architektům a vývojářům SW i HW systémů. Klíčovou vlastností jazyka VCN je hierarchický komponentově orientovaný charakter a zejména podpora pro obecné (šablonové) definice koordinačních mechanismů. Práce rovněž obsahuje případovou studii formální specifikace modelu traťových signalizačních prvků prostřednictvím jazyka VCN.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.