SGCCS: A Graphical Language for Real-Time Coordination

Paper Abstract

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 the synchronous Calculus of Communicating Systems (SCCS). A specification in SGCCS contains both graphical and visual components. We give an example of the visual syntax and basic concepts of SGCCS, and then we formalize syntax of SGCCS defining a language of special terms. Using these terms, we precisely describe the visual syntax textually. Further, we define semantics of SGCCS via mapping of these terms into SCCS expressions.


BACK to list of publications