Abstract
CORBA (The Common Object Request Broker Architecture) has to continually evolve in order to cope with the changes of requirement of applications which become larger and more distributed. For this reason new features are being added to the CORBA specication, for instance the last proposal for a revised CORBA Messaging Service includes two new asynchronous models of request invocation. Since these new features will be added in the next CORBA implementations a relevant issue is to study their operational behaviour from different perspectives in order to facilitate the task of implementors. This paper addresses this issue providing an analysis of the CORBA Messaging Service which includes the new asynchronous features. In particular we illustrate how CORBA models for request invocation can be mapped into a message passing architecture based on the actor model. For this purpose we exploit an algebra of actors which supports some of the main features of the abstract Object Model of the Object Management Group, such as object identity and an explicit notion of state. This approach allows us to discuss and compare different models of request invocation in a standard process algebraic perspective for instance we show how different notions of equivalence, such as standard and asynchronous bisimulation, can be adapted to reason about CORBA.
★
This paper has been partially supported by the Italian Ministry of Universities (MURST).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. Abadi and L. Cardelli. An Imperative Object Calculus. Theory and Practice of Object Systems, 1(3):151–166, 1995.
G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, 1986.
G. Agha, I. Mason, S. F. Smith, and C. Talcott. A Foundation for Actor Computation. Journal of Functional Programming, 7(1):1–69, January 1997.
G. Agha, I.A. Mason, S. Smith, and C. Talcott. Towards a Theory of Actor Computation. In Proc. of CONCUR’92, volume 630 of Lecture Notes in Computer Science, pages 564–579. Springer Verlag, 1992.
R. Amadio, I. Castellani, and D. Sangiorgi. On Bisimulations for the Asynchronous π-Calculus. Theoretical Computer Science, 195(2):291–324, 1998.
R. Bastide, O. Sy, and P. Palanque. Formal Specification and Prototyping of CORBA Systems. In Proc. of ECOOP99, Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1999. This volume.
G. Boudol. Asynchrony and the π-calculus. Technical Report INRIA-92-1702, INRIA Sophia-Antipolis., 1992.
Laboratoire d’Informatique Fondamentale de Lille and Object Oriented Concepts Inc. CORBA Scripting Language. Technical Report orbos/98-12-09, Object Management Group, 1998.
M. Gaspari. Concurrency and knowledge-level communication in agent languages. Artificial Intelligence, 105(1–2):1–45, 1998.
M. Gaspari and G. Zavattaro. An actor algebra for specifying distributed systems: the hurried philosophers case study. In G. Agha and F. Decindio, editors, Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998. To appear.
Mauro Gaspari and Gianluigi Zavattaro. An algebra of actors. In Proc. 3nd IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pages 3–18. Kluwer Academic Publishers, Feb 1999.
Object Management Group. OMG Architecture Guide: The OMG Object Model. Technical report, Object Management Group, 1992.
Object Management Group. Messaging Service RFP. Technical Report orbos/96-03-16, Object Management Group, Framingham, MA, 1996.
Object Management Group. CORBA Messaging Joint Revised Submission. Technical Report orbos/98-05-05, Object Management Group, Framingham, MA, 1998.
Object Management Group. CORBA Services. Technical Report formal/98-12-09, Object Management Group, 1998.
Object Management Group. The Common Object Request Brocker: Architecture and Specification. Object Management Group, 1998.
C. Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8(3):323–364, 1977.
CAR. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
K. Honda and M. Tokoro. An Object Calculus for Asynchronous Communication. In The Fifth European Conference on Object-Oriented Programming, volume 512 of Lecture Notes in Computer Science, pages 141–162. Springer-Verlag, Berlin, 1991.
S.N. Khoshaan and G.P. Copeland. Object Identity. In Proc. OOPSLA’ 86, pages 406–416, September 1986.
I.A. Mason and C. Talcott. A Semantically Sound Actor Translation. In Proc. of ICALP’97, Lecture Notes in Computer Science. Springer Verlag, 1997.
R. Milner. Communication and Concurrency. Prentice Hall, 1989.
R. Milner. Functions as processes. Mathematical Structures in Computer Science, 2(2):119–141, 1992.
R. Milner. Elements of interaction. Communications of the ACM, 36(1):79–89, January 1993.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes I and II. Information and Computation, 100(1):1–40-41–77, 1992.
E. Najm and J.B. Stefani. Computational Models for Open Distributed Systems. In H. Bowman and J. Derrick, editors, Proc. 2nd IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pages 157–176, Canterbury, UK, 1997. Chapmann & Hall.
C. Palamidessi. Comparing the expressive power of the Synchronous and the Asyn-chronous pi-calculus. In Proc. ACM Symposium on Principles of Programming Languages (POPL), pages 256–265, 1997.
B. C. Pierce and D. N. Turner. Concurrent Objects in a Process Calculus. In invited lecture at Theory and Practice of Parallel Programming (TPPP), volume 907 of Lecture Notes in Computer Science, pages 187–215, Sendai, Japan, nov 1994. Springer-Verlag, Berlin.
G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Department of Computer Science, Aarhus University, Denmark, 1981.
C. Talcott. Interaction Semantics for Components of Distributed Systems. In Proc. FMOODS’96, pages 154–169. Chapmann & Hall, 1996.
C. L. Talcott. An actor rewriting theory. In J. Meseguer, editor, Proc. 1st Intl. Workshop on Rewriting Logic and its Applications, number 4 in Electronic Notes in Theoretical Computer Science, pages 360–383. North Holland, 1996.
S. Vinoski. New Features for CORBA 3.0. Communications of the ACM, 41(10), October 1998.
D. Walker. Objects in the π-calculus. Information and Computation, 116(2):253–271, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gaspari, M., Zavattaro, G. (1999). A Process Algebraic Specication of the New Asynchronous CORBA Messaging Service?. In: Guerraoui, R. (eds) ECOOP’ 99 — Object-Oriented Programming. ECOOP 1999. Lecture Notes in Computer Science, vol 1628. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48743-3_23
Download citation
DOI: https://doi.org/10.1007/3-540-48743-3_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66156-6
Online ISBN: 978-3-540-48743-2
eBook Packages: Springer Book Archive