Other formats:
BibTeX
LaTeX
RIS
@inproceedings{406145,
author = {Šafránek, David},
address = {Namur, Belgium},
booktitle = {Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures},
keywords = {formal specification; discrete real-time systems; hardware; SCCS; SGCCS; GCCS},
language = {eng},
location = {Namur, Belgium},
note = {Nutno dodat presna cisla stran.},
pages = {99-114},
publisher = {Elsevier Science},
title = {SGCCS: A Graphical Language for Real-Time Coordination},
url = {http://www.fi.muni.cz/informatics/reports/2002/full.html},
year = {2002}
}
TY - JOUR
ID - 406145
AU - Šafránek, David
PY - 2002
TI - SGCCS: A Graphical Language for Real-Time Coordination
PB - Elsevier Science
CY - Namur, Belgium
N1 - Nutno dodat presna cisla stran.
KW - formal specification
KW - discrete real-time systems
KW - hardware
KW - SCCS
KW - SGCCS
KW - GCCS
UR - http://www.fi.muni.cz/informatics/reports/2002/full.html
N2 - 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.
ER -
ŠAFRÁNEK, David. SGCCS: A Graphical Language for Real-Time Coordination. In \textit{Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures}. Namur, Belgium: Elsevier Science, 2002, p.~99-114. ISSN~1571-0661.
|
