Abstract
This paper introduces an abstract model for distributed and mobile computation, based on a notion of domains. The model is shown expressive enough to simulate faithfully several recent distributed process calculi such as the Mobile Ambient calculus and the DJoin calculus. This in turn hints at the relevance of the model as a basis for the development of a primitive formal model for distributed and mobile programming.
This work has been supported in part by the RNRT project Marvel.
Chapter PDF
References
R. Amadio : “An asynchronous model of locality, failure, and process mobility” — Research Report RR-3109, INRIA, Sophia-Antipolis, France, February 1997.
G. Berry, G. Boudol: “The chemical abstract machine ” — Theoretical Computer Science, vol. 96, 1992.
G. Boudol: “The π-Calculus in Direct Style” — Higher-Order and Symbolic Computation, vol. 11, 1998.
L. Cardelli, A. Gordon: “Mobile Ambients” — Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, Vol. 1378, Springer, 1998.
C. Fournet, G. Gonthier: “The reflexive chemical abstract machine and the join-calculus” — In proceedings 23rd ACM Symposium on Principles of Programming Languages (POPL), January 1996.
C. Fournet, G. Gonthier, J.J. Levy, L. Maranget, D. Remy: “A calculus of mobile agents” — in Proceedings CONCUR ‘86, LNCS 1119, Springer Verlag, 1996.
C. Fournet, J.J. Levy, A. Schmitt: “A distributed implementation of ambients” — INRIA Research Report, August 1999.
M. Hennessy, J. Riely: “Resource access control in systems of mobile agents” — Technical Report 2/98, School of Cognitive and Computer Sciences, University of Sussex, UK.
ITU-T Recommendation X.902 ISO/IEC International Standard 10746–2: “ODP Reference Model: Foundations” — November 1995.
ITU-T Recommendation X.903 I ISO/IEC International Standard 10746–3: “ODP Reference Model: Architecture” — November 1995.
F. Levi, D. Sangiorgi: “Controlling Interference in Ambients” — in Proceedings 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2000 ), Boston, MA, USA, Jan. 2000.
J. McAffer: “Meta-Level Architecture Support for Distributed Objects” — Proceedings of Reflection 96, G. Kiczales (ed), San Francisco, USA, April 1996.
R. Milner: “Communicating and mobile systems: the ir-calculus” — Cambridge University Press, 1999.
E. Najm, J.B. Stefani: “A formal semantics for the ODP computational model ” — Computer Networks and ISDN Systems 27, pp. 1305–1329, 1995.
E. Najm, J.B. Stefani: “Computational Models for Open Distributed Systems”, — 2nd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS `97), Canterbury, UK, July 1997.
Object Management Group: “The Common Object request Broker: Architecture and Specification” — CORBA v2.0, July 1995.
Object Management Group: “CORBA Components” — OMG document orbos/99–02–01, March 1999.
J.B. Stefani, F. Germain: “Eléments d’un modèle de traitement pour Marvel” — RNRT project Marvel, Deliverable D2. 0, January 2000.
Sun Microsystems: “Java Remote Method Invocation Specification” — Technical Report, Sun Microsystems, Mountain View CA, USA, May 1997.
Sun Microsystems: “Enterprise Java Beans” — Specification v1.0, March 1998.
Sun Microsystems: “Jini Architecture Specification” — Specification v1.0, January 1999.
J. Vitek, G. Castagna: “Towards a calculus of secure mobile computations” — Workshop on Internet Programming Languages, Chicago, Illinois, USA, 1998.
T. Watanabe, A. Yonezawa: “Reflection in an object-oriented concurrent language” — in Proceedings OOPSLA ‘88, San Diego, California, USA, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this paper
Cite this paper
Stefani, JB., Germain, F., Najm, E. (2000). Elements of an Object-Based Model for Distributed and Mobile Computation. In: Smith, S.F., Talcott, C.L. (eds) Formal Methods for Open Object-Based Distributed Systems IV. FMOODS 2000. IFIP Advances in Information and Communication Technology, vol 49. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35520-7_2
Download citation
DOI: https://doi.org/10.1007/978-0-387-35520-7_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-1018-2
Online ISBN: 978-0-387-35520-7
eBook Packages: Springer Book Archive