Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Berlin (1996)
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)
Birrell, A.D., Nelson, B.J.: Implementing remote procedure calls. ACM Transactions on Computer Systems 2(1), 39–59 (1984)
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)
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)
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)
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)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Part I and Part II. Information and Computation 100(1), 1–77 (1992)
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)
Plotkin, G.: Call-by-name, call-by-value, and the λ-calculus. Theor. Comput. Sci. 1, 125–159 (1975)
Yonezawa, A. (ed.): ABCL: An Object-Oriented Concurrent System. The MIT Press, Cambridge (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Tokyo
About this paper
Cite this paper
Matsumoto, S., Nishizaki, Sy. (2013). An Object Calculus with Remote Method Invocation. In: Nishizaki, Sy., Numao, M., Caro, J., Suarez, M.T. (eds) Theory and Practice of Computation. Proceedings in Information and Communications Technology, vol 7. Springer, Tokyo. https://doi.org/10.1007/978-4-431-54436-4_3
Download citation
DOI: https://doi.org/10.1007/978-4-431-54436-4_3
Publisher Name: Springer, Tokyo
Print ISBN: 978-4-431-54435-7
Online ISBN: 978-4-431-54436-4
eBook Packages: Computer ScienceComputer Science (R0)