Extending CORBA Interfaces with Protocols

Traditional IDLs were defined for describing the services that objects offer, but not those services they require from other objects, nor the relative order in which they expect their methods to be called. In this paper we propose an extension of the Common Object Request Broker Architecture (CORBA) interface description language (IDL) that uses a sugared subset of the polyadic π-calculus for describing object service protocols, aimed at the automated checking of protocol interoperability between CORBA objects in open component-based environments. In addition, some advantages and disadvantages of our proposal are discussed, as well as some of the practical limitations encountered when trying to implement and use this sort of IDL extension in open systems.

[1]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[2]  A. Watson,et al.  OMG (Object Management Group) architecture and CORBA (common object request broker architecture) specification , 2002 .

[3]  Doug Lea,et al.  Interface-Based Protocol Specification of Open Systems using PSL , 1995, ECOOP.

[4]  D. Janaki Ram,et al.  Message Filters for Object-Oriented Systems , 1997, Softw. Pract. Exp..

[5]  Loe M. G. Feijs,et al.  Modelling Microsoft COM Using pi-Calculus , 1999, World Congress on Formal Methods.

[6]  Kim Mens,et al.  Vrije Universiteit Brussel Faculteit Wetenschappen Reuse Contracts: Managing the Evolution of Reusable Assets Reuse Contracts: Managing the Evolution of Reusable Assets , 2022 .

[7]  ROBIN MILNER,et al.  Edinburgh Research Explorer A Calculus of Mobile Processes, I , 2003 .

[8]  Wolfgang Weck,et al.  The Greybox Approach: When Blackbox Specifications Hide Too Much , 1999 .

[9]  Akinori Yonezawa,et al.  Abstracting Object Interactions Using Composition Filters , 1993, ECOOP Workshop.

[10]  Grzegorz Rozenberg,et al.  Foundations of Object-Oriented Languages , 1991 .

[11]  Naftaly H. Minsky,et al.  Law-Governed Linda as a Coordination Model , 1994, ECOOP Workshop.

[12]  José M. Troya,et al.  Compatibility and inheritance in software architectures , 2001, Sci. Comput. Program..

[13]  Oscar Nierstrasz,et al.  Regular types for active objects , 1993, OOPSLA '93.

[14]  Jun Han.  Temporal Logic Based Specification of Component Interaction Protocols , 2000 .

[15]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[16]  Robin Milner,et al.  The Polyadic π-Calculus: a Tutorial , 1993 .

[17]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

[18]  Gianluigi Zavattaro,et al.  Process Algebraic Specification of the New Asynchronous CORBA Messaging Service , 1999, ECOOP.

[19]  Sandra Heiler,et al.  Semantic interoperability , 1995, CSUR.

[20]  John D. McGregor,et al.  A protocol based approach to specifying interoperability between objects , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).

[21]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[22]  Pierre America,et al.  Designing an Object-Oriented Programming Language with Behavioural Subtyping , 1990, REX Workshop.

[23]  José M. Troya,et al.  Specification and Refinement of Dynamic Software Architectures , 1999, WICSA.

[24]  Clemens Szyperski,et al.  Component software , 1997 .

[25]  Ousmane Sy,et al.  Towards Components that Plug AND Play , 2000 .

[26]  Davide Sangiorgi,et al.  A Theory of Bisimulation for the pi-Calculus , 1993, CONCUR.

[27]  C. Q. Lee,et al.  The Computer Journal , 1958, Nature.

[28]  Antonio Vallecillo,et al.  New Issues in Object Interoperability , 2000, ECOOP Workshops.

[29]  Philippe A. Palanque,et al.  Formal Specification and Prototyping of CORBA Systems , 1999, ECOOP.

[30]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[31]  Peter Henderson.  Formal Models of Process Components , 1997 .

[32]  Murali Sitaraman,et al.  Foundations of component-based systems , 2000 .