Sciweavers

Share
COORDINATION
2000
Springer

GCCS: A Graphical Coordination Language for System Specification

10 years 1 months ago
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.
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where COORDINATION
Authors Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
Comments (0)
books