SGCCS: A Graphical Language for Real-Time Coordination

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

ŠAFRÁNEK David

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

Fakulta informatiky

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.