Article

Process Algebraic Specification of the New Asynchronous CORBA Messaging Service

Authors:

Gianluigi ZavattaroAuthors Info & Claims

ECOOP '99: Proceedings of the 13th European Conference on Object-Oriented Programming

Pages 495 - 518

Published: 14 June 1999 Publication History

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 specification, 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.

References

[1]

M. Abadi and L. Cardelli. An Imperative Object Calculus. Theory and Practice of Object Systems, 1(3):151-166, 1995.

[2]

G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, 1986.

[3]

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.

[4]

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.

[5]

R. Amadio, I. Castellani, and D. Sangiorgi. On Bisimulations for the Asynchronous π-Calculus. Theoretical Computer Science, 195(2):291-324, 1998.

[6]

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.

[7]

G. Boudol. Asynchrony and the π-calculus. Technical Report INRIA-92-1702, INRIA Sophia-Antipolis., 1992.

[8]

Laboratoire d'Informatique Fondamentale de Lille and Object Oriented Concepts Inc. CORBA Scripting Language. Technical Report orbos/98-12-09, Object Management Group, 1998.

[9]

M. Gaspari. Concurrency and knowledge-level communication in agent languages. Artificial Intelligence, 105(1-2):1-45, 1998.

[10]

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.

[11]

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.

[12]

Object Management Group. OMG Architecture Guide: The OMG Object Model. Technical report, Object Management Group, 1992.

[13]

Object Management Group. Messaging Service RFP. Technical Report orbos/96- 03-16, Object Management Group, Framingham, MA, 1996.

[14]

Object Management Group. CORBA Messaging Joint Revised Submission. Technical Report orbos/98-05-05, Object Management Group, Framingham, MA, 1998.

[15]

Object Management Group. CORBA Services. Technical Report formal/98-12-09, Object Management Group, 1998.

[16]

Object Management Group. The Common Object Request Brocker: Architecture and Specification. Object Management Group, 1998.

[17]

C. Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8(3):323-364, 1977.

[18]

CAR. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.

[19]

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.

[20]

S.N. Khoshafian and G.P. Copeland. Object Identity. In Proc. OOPSLA '86, pages 406-416, September 1986.

[21]

I.A. Mason and C. Talcott. A Semantically Sound Actor Translation. In Proc. of ICALP'97, Lecture Notes in Computer Science. Springer Verlag, 1997.

[22]

R. Milner. Communication and Concurrency. Prentice Hall, 1989.

[23]

R. Milner. Functions as processes. Mathematical Structures in Computer Science, 2(2):119-141, 1992.

[24]

R. Milner. Elements of interaction. Communications of the ACM, 36(1):79-89, January 1993.

[25]

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.

[26]

E. Najm and JB. 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.

[27]

C. Palamidessi. Comparing the expressive power of the Synchronous and the Asynchronous pi-calculus. In Proc. ACM Symposium on Principles of Programming Languages (POPL), pages 256-265, 1997.

[28]

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.

[29]

G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Department of Computer Science, Aarhus University, Denmark, 1981.

[30]

C. Talcott. Interaction Semantics for Components of Distributed Systems. In Proc. FMOODS'96, pages 154-169. Chapmann & Hall, 1996.

[31]

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.

[32]

S. Vinoski. New Features for CORBA 3.0. Communications of the ACM, 41(10), October 1998.

[33]

D. Walker. Objects in the π-calculus. Information and Computation, 116(2):253- 271, 1995.

Cited By

Canal CFuentes LPimentel ETroya JVallecillo A(2003)Adding Roles to CORBA ObjectsIEEE Transactions on Software Engineering10.1109/TSE.2003.118393529:3(242-260)Online publication date: 1-Mar-2003
https://dl.acm.org/doi/10.1109/TSE.2003.1183935
Kaveh NMüller H(2001)Model checking distributed objects designProceedings of the 23rd International Conference on Software Engineering10.5555/381473.381670(793-794)Online publication date: 1-Jul-2001
https://dl.acm.org/doi/10.5555/381473.381670
Kaveh NEmmerich W(2001)Deadlock detection in distribution object systemsACM SIGSOFT Software Engineering Notes10.1145/503271.50321626:5(44-51)Online publication date: 1-Sep-2001
https://dl.acm.org/doi/10.1145/503271.503216
Show More Cited By

Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
1. Software and its engineering
  1. Software creation and management
    1. Designing software
    2. Software development techniques
  2. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Towards Real-Time Fault-Tolerant CORBA Middleware

An increasing number of applications are being developed using Distributed Object Computing (DOC) middleware, such as CORBA. Many of these applications require the underlying middleware, operating systems, and networks to provide dependable end-to-end ...
Design and Performance of a Dynamically Configurable, Messaging Protocols Framework for Real-Time CORBA
HICSS '03: Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9

As distributed object computing (DOC) middleware standards and implementations evolve over time, they invariably must support a growing number of protocols to remain interoperable. Memory footprints of middleware implementations can become large if a ...
Transparent autonomization in CORBA

Increasingly, software systems are constructed by integrating and composing multiple existing applications. The resulting complexity increases the need for self-management of the system. However, adding autonomic behavior to composite systems is ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

ECOOP '99: Proceedings of the 13th European Conference on Object-Oriented Programming

June 1999

528 pages

ISBN:3540661565

Editor:
Rachid Guerraoui

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 14 June 1999

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Canal CFuentes LPimentel ETroya JVallecillo A(2003)Adding Roles to CORBA ObjectsIEEE Transactions on Software Engineering10.1109/TSE.2003.118393529:3(242-260)Online publication date: 1-Mar-2003
https://dl.acm.org/doi/10.1109/TSE.2003.1183935
Kaveh NMüller H(2001)Model checking distributed objects designProceedings of the 23rd International Conference on Software Engineering10.5555/381473.381670(793-794)Online publication date: 1-Jul-2001
https://dl.acm.org/doi/10.5555/381473.381670
Kaveh NEmmerich W(2001)Deadlock detection in distribution object systemsACM SIGSOFT Software Engineering Notes10.1145/503271.50321626:5(44-51)Online publication date: 1-Sep-2001
https://dl.acm.org/doi/10.1145/503271.503216
Kaveh NEmmerich WTjoa AGruhn V(2001)Deadlock detection in distribution object systemsProceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering10.1145/503209.503216(44-51)Online publication date: 10-Sep-2001
https://dl.acm.org/doi/10.1145/503209.503216
Bastide RPalanque PSy ONavarre D(2000)Formal specification of CORBA servicesACM SIGPLAN Notices10.1145/354222.35317935:10(105-117)Online publication date: 1-Oct-2000
https://dl.acm.org/doi/10.1145/354222.353179
Bastide RPalanque PSy ONavarre DRosson MLea D(2000)Formal specification of CORBA servicesProceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications10.1145/353171.353179(105-117)Online publication date: 1-Oct-2000
https://dl.acm.org/doi/10.1145/353171.353179

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents