ABSTRACT
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.
- F. Arbab, Reo: A channel-based coordination model for component composition, Mathematical Structures in Computer Science, Vol. 14, No. 3, pp. 329--366, June 2004. Google ScholarDigital Library
- L. Cardelli and A. D. Gordon. Mobile ambients, Theoretical Computer Science, 240(1):177--213, June 2000. Google ScholarDigital Library
- N. Carriero, D. Gelernter. How to Write Parallel Programs: a First Course, MIT press, 1990. Google ScholarDigital Library
- R. De Nicola, G. L. Ferrari, and R. Pugliese, KLAIM: A kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, 24(5), pages 315--330, 1998. Google ScholarDigital Library
- G. L. Ferrari, R. Pugliese and E. Tuosto, Foundational Calculi for Network Aware Programming, Technical Report, Universita' di Firenze, c/o Dipartimento di Sistemi ed Informatica, 2000.Google Scholar
- J. V. Guillen-Scholten, F. Arbab, F. S. de Boer, M. M. Bonsangue, "A Channel-based Coordination Model for Components". Electr. Notes Theor. Comput. Sci. 68(3), Elsevier Science, 2003.Google Scholar
- J. V. Guillen-Scholten and F. Arbab, MoCha, easyMoCha and chocoMoCha Manual vl.0, CWI Technical Report, Amsterdam, 2004.Google Scholar
- M. Hennessy and J. Riely, Resource Access Control in Systems of Mobile Agents, HLCL '98: High-Level Concurrent Languages (Nice, France, September 12, 1998), U. Nestmann and B. C. Pierce, Eds. ENTCS 16.3, 1998.Google ScholarCross Ref
- C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, London, UK, 1985. Google ScholarDigital Library
- Sun Microsystems, Java Remote Method Invocation-Distributed Computing for Java, white paper available at java.sun.com/rmi, 2004.Google Scholar
- R. Milner, Communicating and Mobile Systems: The Pi-Calculus, Cambridge University Press, May 20, 1999. Google ScholarDigital Library
- J. Parrow. An Introduction to the pi-Calculus. In Handbook of Process Algebra, ed. Bergstra, Ponse, Smolka, pages 479--543, Elsevier 2001.Google Scholar
- P. Wojciechowski, and P. Sewell, Nomadic Pict: Language and Infrastructure Design for Mobile Agents, First International Symposium on Agent Systems and Applications (ASA'99)/(MA'99), Palm Springs, CA, USA, 1999. Google ScholarDigital Library
Index Terms
- MoCha-pi, an exogenous coordination calculus based on mobile channels
Recommendations
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior imposed by these channels. We use Petri Nets as our modeling language, for ...
Large Scale Enterprise Information System Architectures and Coordination Methods
ICEE '12: Proceedings of the 2012 3rd International Conference on E-Business and E-Government - Volume 03The large scale enterprise information systems are usually consisted of many subsystems or modules. Coordination among subsystems or modules is an important problem in developing and integrating information systems. In this paper, we classify ...
Event-Based Service Coordination
Concurrency, Graphs and ModelsIn this paper we tackle the problem of designing and implementing a framework for programming service coordination policies. In particular, we illustrate the design and the prototype implementation of Java Signal Core Layer (JSCL), a coordination ...
Comments