Skip to main content
SpringerLink
Log in
Book cover

European Conference on Object-Oriented Programming

ECOOP 1999: ECOOP’ 99 — Object-Oriented Programming pp 495–518Cite as

A Process Algebraic Specication of the New Asynchronous CORBA Messaging Service?

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1628))

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).

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Google Scholar 

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

    Google Scholar 

  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.

    Article  MATH  MathSciNet  Google Scholar 

  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.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  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.

    Google Scholar 

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

    Google Scholar 

  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.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

  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.

    Chapter  Google Scholar 

  20. S.N. Khoshaan and G.P. Copeland. Object Identity. In Proc. OOPSLA’ 86, pages 406–416, September 1986.

    Google Scholar 

  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.

    Google Scholar 

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

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  Google Scholar 

  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.

    Article  MATH  MathSciNet  Google Scholar 

  26. 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.

    Google Scholar 

  27. 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.

    Google Scholar 

  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.

    Chapter  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  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.

    Google Scholar 

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

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bologna, Mura Anteo Zamboni 7, 40127, Bologna, Italy

    Mauro Gaspari

Authors
  1. Mauro Gaspari
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gianluigi Zavattaro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, Swiss Federal Institute of Technology, CH-1015, Lausanne, Switzerland

    Rachid Guerraoui

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation