Informace o publikaci
SGCCS: A Graphical Language for Real-Time Coordination
| Autoři | |
|---|---|
| Rok publikování | 2002 |
| Druh | Článek ve sborníku |
| Konference | Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://www.fi.muni.cz/informatics/reports/2002/full.html |
| Obor | Počítačový hardware a software |
| Klíčová slova | formal specification; discrete real-time systems; hardware; SCCS; SGCCS; GCCS |
| Popis | 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. |
| Související projekty: |