SGCCS: A Graphical Language for Real-Time Coordination

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

ŠAFRÁNEK David

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

Faculty of Informatics

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:

You are running an old browser version. We recommend updating your browser to its latest version.