VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Automatizovaná verifikace paralelních a distribuovaných systémů Vysoce paralelní a distribuované výpočetní systémy