An Object Calculus with Remote Method Invocation

  • Shohei Matsumoto
  • Shin-ya Nishizaki
Part of the Proceedings in Information and Communications Technology book series (PICT, volume 7)


Recently, object-oriented programming languages have been the fundamental infrastucture in software development. Several theoretical frameworks for object-oriented programming languages have been developed. The object calculus, proposed by Abadi and Cardelli, models various styles of object-oriented programming languages, and the sigma calculus is the simplest among the several systems of the object calculus.

Distributed computation is also a fundamental technology in information technology. The remote procedure call (RPC) is a popular technology for distributed computation. The object-oriented version of RPC is called remote method invocation (RMI). Cooper and Wadler proposed the RPC calculus, which is a formal computational system for modeling remote procedure calls.

In this paper, we propose the RMI calculus, which is an extension of the sigma calculus by adding a remote method invocation in the Cooper–Wadler style. We investigate the translation of the RPC calculus into the RMI calculus and prove its soundness with respect to the operational semantics.


Operational Semantic Method Invocation Lambda Calculus Remote Procedure Call Natural Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Berlin (1996)MATHCrossRefGoogle Scholar
  2. 2.
    Abadi, M., Cardelli, L.: A Theory of Primitive Objects — Untyped and First-Order Systems. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol. 789, pp. 296–320. Springer, Heidelberg (1994)CrossRefGoogle Scholar
  3. 3.
    Birrell, A.D., Nelson, B.J.: Implementing remote procedure calls. ACM Transactions on Computer Systems 2(1), 39–59 (1984)CrossRefGoogle Scholar
  4. 4.
    Cooper, E., Wadler, P.: The RPC calculus. In: Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP 2009. ACM Press (2009)Google Scholar
  5. 5.
    Gordon, A., Rees, G.: Bisimilarity for a first-order calculus of objects with subtyping. In: Proceedings of the 23rd Annual ACM Symposium on Principles of Programming Languages. ACM Press (1996)Google Scholar
  6. 6.
    Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: IJCAI 1973: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, pp. 235–245. Morgan Kaufmann Publishers Inc. (1973)Google Scholar
  7. 7.
    Kahn, G.: Natural semantics. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. LNCS, vol. 247, pp. 22–39. Springer, Heidelberg (1987)CrossRefGoogle Scholar
  8. 8.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Part I and Part II. Information and Computation 100(1), 1–77 (1992)MathSciNetMATHCrossRefGoogle Scholar
  9. 9.
    Narita, K., Nishizaki, S.: A Parallel Abstract Machine for the RPC Calculus. In: Abd Manaf, A., Sahibuddin, S., Ahmad, R., Mohd Daud, S., El-Qawasmeh, E. (eds.) ICIEIS 2011, Part III. CCIS, vol. 253, pp. 320–332. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  10. 10.
    Plotkin, G.: Call-by-name, call-by-value, and the λ-calculus. Theor. Comput. Sci. 1, 125–159 (1975)MathSciNetMATHCrossRefGoogle Scholar
  11. 11.
    Yonezawa, A. (ed.): ABCL: An Object-Oriented Concurrent System. The MIT Press, Cambridge (1990)Google Scholar

Copyright information

© Springer Tokyo 2013

Authors and Affiliations

  • Shohei Matsumoto
    • 1
  • Shin-ya Nishizaki
    • 1
  1. 1.Department of Computer ScienceTokyo Institute of TechnologyTokyoJapan

Personalised recommendations