VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky VCD: Visuální formalizmus pro specifikaci heterogenních softwarových architektur
Autoři

ŠAFRÁNEK David ŠIMŠA Jiří

Rok publikování 2005
Druh Článek ve sborníku
Konference SOFSEM 2005: Theory and Practice of Computer Science
Fakulta / Pracoviště MU

Fakulta informatiky

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:

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