skip to main content
10.1145/1066677.1066778acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
Article

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

Published: 13 March 2005 Publication History

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.

References

[1]
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.
[2]
L. Cardelli and A. D. Gordon. Mobile ambients, Theoretical Computer Science, 240(1):177--213, June 2000.
[3]
N. Carriero, D. Gelernter. How to Write Parallel Programs: a First Course, MIT press, 1990.
[4]
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.
[5]
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.
[6]
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.
[7]
J. V. Guillen-Scholten and F. Arbab, MoCha, easyMoCha and chocoMoCha Manual vl.0, CWI Technical Report, Amsterdam, 2004.
[8]
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.
[9]
C.A.R. Hoare, Communicating Sequential Processes, Prentice Hall, London, UK, 1985.
[10]
Sun Microsystems, Java Remote Method Invocation-Distributed Computing for Java, white paper available at java.sun.com/rmi, 2004.
[11]
R. Milner, Communicating and Mobile Systems: The Pi-Calculus, Cambridge University Press, May 20, 1999.
[12]
J. Parrow. An Introduction to the pi-Calculus. In Handbook of Process Algebra, ed. Bergstra, Ponse, Smolka, pages 479--543, Elsevier 2001.
[13]
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.

Cited By

View all
  • (2023)Towards Exogenous Coordination of Concurrent Cloud ApplicationsInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819402350038934:01(1-25)Online publication date: 5-Oct-2023
  • (2010)Design and verification of systems with exogenous coordination using VereofyProceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II10.5555/1939345.1939362(97-111)Online publication date: 18-Oct-2010
  • (2010)Design and Verification of Systems with Exogenous Coordination Using VereofyLeveraging Applications of Formal Methods, Verification, and Validation10.1007/978-3-642-16561-0_15(97-111)Online publication date: 2010
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '05: Proceedings of the 2005 ACM symposium on Applied computing
March 2005
1814 pages
ISBN:1581139640
DOI:10.1145/1066677
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 March 2005

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. calculus
  2. coordination
  3. distributed mobile channels

Qualifiers

  • Article

Conference

SAC05
Sponsor:
SAC05: The 2005 ACM Symposium on Applied Computing
March 13 - 17, 2005
New Mexico, Santa Fe

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 20 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2023)Towards Exogenous Coordination of Concurrent Cloud ApplicationsInternational Journal of Software Engineering and Knowledge Engineering10.1142/S021819402350038934:01(1-25)Online publication date: 5-Oct-2023
  • (2010)Design and verification of systems with exogenous coordination using VereofyProceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II10.5555/1939345.1939362(97-111)Online publication date: 18-Oct-2010
  • (2010)Design and Verification of Systems with Exogenous Coordination Using VereofyLeveraging Applications of Formal Methods, Verification, and Validation10.1007/978-3-642-16561-0_15(97-111)Online publication date: 2010
  • (2009)A Uniform Framework for Modeling and Verifying Components and ConnectorsProceedings of the 11th International Conference on Coordination Models and Languages10.1007/978-3-642-02053-7_13(247-267)Online publication date: 11-Jun-2009
  • (2008)Coordinating Object Oriented Components Using Data-Flow NetworksFormal Methods for Components and Objects10.1007/978-3-540-92188-2_12(280-311)Online publication date: 4-Dec-2008
  • (2007)Coordination by Timers for Channel-Based Anonymous CommunicationsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2007.03.002175:2(3-17)Online publication date: 1-Jun-2007
  • (2006)Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri NetsElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2005.12.036154:1(121-138)Online publication date: 1-May-2006
  • (2006)Mobile Agents in Interaction SpacesElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2005.12.033154:1(63-82)Online publication date: 1-May-2006

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media