GCCS: A Graphical Coordination Language for System Specification

Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represents a coordination model based on process algebra. Its coordination laws, given as a structural operational semantics, allow one to infer atomic system transitions on the basis of transitions taken by system components. We illustrate the language's utility by exhibiting a GCCS-coordinated specification of the Rether real-time ethernet protocol. The specification contains both graphical and textual components.

• Type: Conference
• Year: 2000
• Where: COORDINATION
• Authors: Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
• Keywords: Concurrency Factory Design, COORDINATION 2000, Distributed And Parallel Computing, Graphical Coordination Language, Hierarchical Concurrent Systems