Visuální koordinační diagramy
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F04%3A00010393" target="_blank" >RIV/00216224:14330/04:00010393 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Visual Coordination Diagrams
Popis výsledku v původním jazyce
In this paper, the work on a visual specification language for high-level design of concurrent systems with heterogeneous coordination models, called Visual Coordination Diagrams (VCD), is presented. Special emphasis is given to component-based specification of heterogeneous systems. The key property of VCD is separation of behavioral aspects from coordination aspects. We briefly summarize recent research related to the topic and give an overview of VCD language and its semantics. The summary of alreadyachieved results of our work is presented as well.
Název v anglickém jazyce
Visual Coordination Diagrams
Popis výsledku anglicky
In this paper, the work on a visual specification language for high-level design of concurrent systems with heterogeneous coordination models, called Visual Coordination Diagrams (VCD), is presented. Special emphasis is given to component-based specification of heterogeneous systems. The key property of VCD is separation of behavioral aspects from coordination aspects. We briefly summarize recent research related to the topic and give an overview of VCD language and its semantics. The summary of alreadyachieved results of our work is presented as well.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA201%2F03%2F0509" target="_blank" >GA201/03/0509: Automatizovaná verifikace paralelních a distribuovaných systémů</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2004
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the Doctoral Symposium of 7th International Conference on the Unified Modeling Language
ISBN
—
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
53-60
Název nakladatele
Alanen M., Cabot J., Goulao M., Saez J. and Simmonds D. (editors)
Místo vydání
Lisbon, Portugal
Místo konání akce
Lisbon, Portugal
Datum konání akce
1. 1. 2004
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—