2005
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures
ŠAFRÁNEK, David a Jiří ŠIMŠAZákladní údaje
Originální název
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures
Název česky
VCD: Visuální formalizmus pro specifikaci heterogenních softwarových architektur
Autoři
ŠAFRÁNEK, David (203 Česká republika, garant) a Jiří ŠIMŠA (203 Česká republika)
Vydání
Heidelberg, SOFSEM 2005: Theory and Practice of Computer Science, od s. 320-330, 10 s. 2005
Nakladatel
Springer
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Impakt faktor
Impact factor: 0.402
Kód RIV
RIV/00216224:14330/05:00012664
Organizační jednotka
Fakulta informatiky
ISBN
3-540-24302-X
ISSN
UT WoS
000228554400035
Klíčová slova anglicky
visual coordination diagrams; labelled transition systems; visual specification; concurrent systems
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 9. 4. 2010 16:08, doc. RNDr. David Šafránek, Ph.D.
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.
Česky
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í.
Návaznosti
| GA201/03/0509, projekt VaV |
| ||
| MSM0021622419, záměr |
|