Publication details

VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures

Investor logo
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:

You are running an old browser version. We recommend updating your browser to its latest version.

More info