Informace o publikaci
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures
| Název česky | VCD: Visuální formalizmus pro specifikaci heterogenních softwarových architektur |
|---|---|
| Autoři | |
| Rok publikování | 2005 |
| Druh | Článek ve sborníku |
| Konference | SOFSEM 2005: Theory and Practice of Computer Science |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Informatika |
| Klíčová slova | visual coordination diagrams; labelled transition systems; visual specification; concurrent systems |
| Popis | Visuální formalismus nazvaný Vizuální Coordinační Diagramy (VCD) pro popis heterogenních systémů je presentován v tomto článku. Jazyk je založen na přechodových systémech s návěštími, které tvoří jeho sémantiku. Toto umožňuje aplikaci formálních metod. Formální definice VCD je obsažena v článku a rovněž příklad použití. |
| Související projekty: |