Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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