Visual Coordination Networks
| Název česky | Visuální koordinační sítě |
|---|---|
| Autoři | |
| Rok publikování | 2006 |
| Druh | Účelové publikace |
| Fakulta / Pracoviště MU | |
| 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: |