VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures

ŠAFRÁNEK, David and Jiří ŠIMŠA. VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. In SOFSEM 2005: Theory and Practice of Computer Science. Heidelberg: Springer, 2005, p. 320-330, 10 pp. ISBN 3-540-24302-X.

Basic information

Original name

VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures

Name in Czech

VCD: Visuální formalizmus pro specifikaci heterogenních softwarových architektur

Authors

ŠAFRÁNEK, David (203 Czech Republic, guarantor) and Jiří ŠIMŠA (203 Czech Republic)

Edition

Heidelberg, SOFSEM 2005: Theory and Practice of Computer Science, p. 320-330, 10 pp. 2005

Publisher

Springer

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

Impact factor

Impact factor: 0.402

RIV identification code

RIV/00216224:14330/05:00012664

Organization unit

Faculty of Informatics

ISBN

3-540-24302-X

ISSN

UT WoS

000228554400035

Keywords in English

visual coordination diagrams; labelled transition systems; visual specification; concurrent systems

Tags

concurrent systems, labelled transition systems, visual coordination diagrams, visual specification

Tags

International impact, Reviewed

---

Abstract

V originále

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.

In Czech

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í.

---

Links

GA201/03/0509, research and development project	Name: Automatizovaná verifikace paralelních a distribuovaných systémů Investor: Czech Science Foundation, Automated Verification of Parallel and Distributed Systems
MSM0021622419, plan (intention)	Name: Vysoce paralelní a distribuované výpočetní systémy Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems