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. © Springer-Verlag Berlin Heidelberg 2005.
Cite
CITATION STYLE
APA
Šafránek, D., & Šimša, J. (2005). VCD: A visual formalism for specification of heterogeneous software architectures. In Lecture Notes in Computer Science (Vol. 3381, pp. 320–329). Springer Verlag. https://doi.org/10.1007/978-3-540-30577-4_35
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free