You are here: Faculty of Informatics » Research and Development » Technical Reports » Authors

Technical Reports

A List by Author: David Šafránek

e-mail:
xsafran1(a)fi.muni.cz
home page:
http://www.fi.muni.cz/~xsafran1

VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures

by David Šafránek, Jiří Šimša, A full version of SOFSEM 2005 paper. December 2004, 25 pages.

FIMU-RS-2004-11. Available as Postscript, PDF.

Abstract:

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.