An Object Calculus with Remote Method Invocation
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.
KeywordsOperational Semantic Method Invocation Lambda Calculus Remote Procedure Call Natural Semantic
Unable to display preview. Download preview PDF.
- 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.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.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
- 11.Yonezawa, A. (ed.): ABCL: An Object-Oriented Concurrent System. The MIT Press, Cambridge (1990)Google Scholar