MoCha-pi, an exogenous coordination calculus based on mobile channels

In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to-point communication between processes. Our calculus is an extension of the well-known π-calculus. The novelty of MoCha-π is that its channels are a special kind of process that allow other processes to communicate with each other and impose exogenous coordination through user defined channel types. Also new, is the fact that in our calculus channels are viewed as resources. Processes must compete with each other in order to gain access to a particular channel. This makes the calculus more in line with existing systems. An immediate application of this calculus is the modeling of the MoCha middleware, a distributed system that coordinates components using mobile channels. Categories and Subject Descriptors D.3.1 [Formal Definitions and Theory]: Semantics Keywords Calculus, Coordination, Distributed Mobile...

• Type: Conference
• Year: 2005
• Where: SAC
• Authors: Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue
• Keywords: Applied Computing, Calculus, Exogenous Coordination, Mobile Channels, SAC 2005