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 | |
| 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: |