Paper Info
Title
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.
Year
Venue
Keywords
2000
COORDINATION
rether real-time ethernet protocol,gccs-coordinated specification,atomic system transition,coordination model,process algebra,hierarchical concurrent system,system specification,concurrency factory design environment,graphical coordination language,coordination law,system component,real time,factorial design
Field
DocType
Volume
Operational semantics,Programming language,Graphical language,Concurrency,Ethernet protocol,Computer science,Theoretical computer science,System requirements specification,Syntax,Process calculus,Coordination language
Conference
1906
ISSN
ISBN
Citations 
0302-9743
3-540-41020-1
9
PageRank 
References 
Authors
0.66
25
3
Name
Order
Citations
PageRank
Rance Cleaveland12266254.39
Xiaoqun Du222512.32
Scott A. Smolka32959249.22