Paper Info
Title
CCE: A Process-Calculus Based Formalism for Specifying Multi-Object Coordination
Abstract
Coordination, the act of imposing a desired behavior on a group of autonomous, independently conceived agents, has been an important issue in the design and development of software systems, both process-based and object-based. In this paper, the Calculus of Coordinating Environments (CCE) is proposed to study coordination as the behavioral union of coordinated and coordinating agents. In CCE, the behavior of coordinated objects is expressed as agents in the Calculus of Communicating Systems (CCS) and the behavior of coordinating objects is expressed as agents (called CE agents) of an extension of CCS. Two composition rules are provided that capture the interaction among CE agents and CCS agents. The applicability of the new formalism is shown by specifying two simple coordination problems in CCE.
Year
DOI
Venue
1996
10.1007/3-540-61052-9_52
COORDINATION
Keywords
Field
DocType
specifying multi-object coordination,calculus of communicating systems,software systems,process calculus
Computer science,Calculus of communicating systems,Software system,Theoretical computer science,Formalism (philosophy),Process calculus
Conference
ISBN
Citations 
PageRank 
3-540-61052-9
0
0.34
References 
Authors
14
2
Name
Order
Citations
PageRank
Manibrata Mukherji171.23
Dennis G. Kafura2745134.03