SGCCS: A Graphical Language for Real-Time Coordination

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:	Algoritmy a nástroje pro praktickou verifikaci souběžných systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů