Publication details
SGCCS: A Graphical Language for Real-Time Coordination
| Authors | |
|---|---|
| Year of publication | 2002 |
| Type | Article in Proceedings |
| Conference | Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures |
| MU Faculty or unit | |
| Citation | ŠAFRÁNEK, David. SGCCS: A Graphical Language for Real-Time Coordination. In Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures. Namur, Belgium: Elsevier Science, 2002, p. 99-114. ISSN 1571-0661. |
| web | http://www.fi.muni.cz/informatics/reports/2002/full.html |
| Field | Computer hardware and software |
| Keywords | formal specification; discrete real-time systems; hardware; SCCS; SGCCS; GCCS |
| Description | 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. |
| Related projects: |