2003
Visual Specification of Concurrent Systems
ŠAFRÁNEK, DavidZákladní údaje
Originální název
Visual Specification of Concurrent Systems
Autoři
Vydání
Montreal, Quebec, Canada, 18th IEEE International Conference on Automated Software Engineering, od s. 369-372, 4 s. 2003
Nakladatel
IEEE Computer Society
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í
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14330/03:00008253
Organizační jednotka
Fakulta informatiky
ISBN
0-7695-2035-9
UT WoS
Klíčová slova anglicky
visual specification; concurrent systems; coordination models
Změněno: 9. 1. 2006 11:06, doc. RNDr. David Šafránek, Ph.D.
V originále
The work on a visual formalism for specification of concurrent systems is presented. It is proposed to match requirements of state-of-the-art component-based design methods. Special emphasis is given to specification of heterogeneous systems in which the different models of computation can be mixed together. We briefly summarize recent research related to the topic and give a sketch of the basic ideas for definition of the proposed language. The already achieved results of our work are presented as well.
Česky
Článek obsahuje presentaci navrhovaného visuálního formalismu pro popis souběžných systémů. Hlavní aspekty formalismu jsou uvažovány s respektem vlastností komponentově orientovaných systémů. Z hlediska sémantiky je důraz kladen na možnost popisu systémů složených z komponent heterogenního charakteru (různých modelů výpočtu).
Návaznosti
| GA201/03/1161, projekt VaV |
| ||
| MSM 143300001, záměr |
|