D 2002

SGCCS: A Graphical Language for Real-Time Coordination

ŠAFRÁNEK, David

Základní údaje

Originální název

SGCCS: A Graphical Language for Real-Time Coordination

Autoři

Vydání

Namur, Belgium, Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures, s. 99-114, 2002

Nakladatel

Elsevier Science

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

20206 Computer hardware and architecture

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/02:00006582

Organizační jednotka

Fakulta informatiky

ISSN

Klíčová slova anglicky

formal specification; discrete real-time systems; hardware; SCCS; SGCCS; GCCS

Štítky

Změněno: 20. 5. 2003 14:07, doc. RNDr. David Šafránek, Ph.D.

Anotace

V originále

We present a graphical coordination language SGCCS as a language for modeling of coordination in discrete real-time. SGCCS can be viewed as a graphical version of Synchronous Calculus of Communicating Systems (SCCS). Specification in SGCCS consists of both graphical and visual components. We give an example of the visual syntax and basic concepts of SGCCS, then we formalize the syntax textually using special terms. Further, we define semantics of SGCCS via mapping of these terms into SCCS expressions.

Návaznosti

GA201/00/1023, projekt VaV
Název: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Investor: Grantová agentura ČR, Algoritmy a nástroje pro praktickou verifikaci souběžný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ů