Visual Coordination Diagrams

ŠAFRÁNEK, David. Visual Coordination Diagrams. In Proceedings of the Doctoral Symposium of 7th International Conference on the Unified Modeling Language. Lisbon, Portugal: Alanen M., Cabot J., Goulao M., Saez J. and Simmonds D. (editors), 2004, s. 53-60.

Základní údaje

Originální název

Visual Coordination Diagrams

Název česky

Visuální koordinační diagramy

Autoři

ŠAFRÁNEK, David (203 Česká republika, garant)

Vydání

Lisbon, Portugal, Proceedings of the Doctoral Symposium of 7th International Conference on the Unified Modeling Language, od s. 53-60, 8 s. 2004

Nakladatel

Alanen M., Cabot J., Goulao M., Saez J. and Simmonds D. (editors)

---

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í

Odkazy

URL

Kód RIV

RIV/00216224:14330/04:00010393

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

VCD; specification of concurrent systems; modeling languages

Štítky

modeling languages, specification of concurrent systems, VCD

---

Anotace

V originále

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 already achieved results of our work is presented as well.

Česky

V článku je presentována práce zaměřující se na vývoj visuálního specifikačního jazyka pro popis heterogenních souběžných systémů. Důraz je kladen na komponentov+ orientovaný návrh systémů. Podstatnou vlastností jazyka je separace popisu chování komponent od popisu jejich vzájemné koordinace.

---

Návaznosti

GA201/03/0509, projekt VaV	Název: Automatizovaná verifikace paralelních a distribuovaných systémů Investor: Grantová agentura ČR, Automatizovaná verifikace paralelních a distribuovaných systémů
MSM 143300001, záměr	Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů