VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	ŠAFRÁNEK David ŠIMŠA Jiří
Year of publication	2005
Type	Article in Proceedings
Conference	SOFSEM 2005: Theory and Practice of Computer Science
MU Faculty or unit	Faculty of Informatics
Citation
Field	Informatics
Keywords	visual coordination diagrams; labelled transition systems; visual specification; concurrent systems
Description	A visual formalism called Visual Coordination Diagrams (VCD) for high-level design of heterogeneous systems is presented in this paper. The language is based on a state-transition operational semantics, which allows application of formal methods to software design. Formal definition of VCD is included in the paper. Moreover, an example of use of the language is also given.
Related projects:	Automated Verification of Parallel and Distributed Systems Highly Parallel and Distributed Computing Systems