VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F05%3A00012664" target="_blank" >RIV/00216224:14330/05:00012664 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures
Original language 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.
Czech name
VCD: Visuální formalizmus pro specifikaci heterogenních softwarových architektur
Czech description
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í.

Project
<a href="/en/project/GA201%2F03%2F0509" target="_blank" >GA201/03/0509: Automated Verification of Parallel and Distributed Systems</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
SOFSEM 2005: Theory and Practice of Computer Science
ISBN
3-540-24302-X
ISSN
0302-9743
e-ISSN
—
Number of pages
10
Pages from-to
—
Publisher name
Springer
Place of publication
Heidelberg
Event location
Liptovský Ján
Event date
Jan 1, 2005
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)