Corba idl verification#

IDL syntax is very similar to that of Java or C++, and an IDL file is functionally the CORBA language-independent analog to a C++ header file. An interface can inherit from one or more other interfaces. (The IFR is defined in Chapter 10 of the OMG CORBA specification. The CORBA Specification, published by the Object Management Group, isboth an architecture which encompasses an object model and a specificationwhich defines among other things, an Interface Definition Language (IDL).IDL permits interfaces to objects to be defined independent of an objectsimplementation. Several standards have their interfaces specified in IDL, but are all for 'normal' in process object models. All CORBA objects support an IDL interface the IDL interface defines an object type. The ORB is also the custodian of the Interface Repository (abbreviated variously IR or IFR), an OMG-standardized distributed database containing IDL interface definitions.

Corba idl verification#

I'm working on the verification of an interface formalised in the OMG's IDL, and am having problems finding a definitive answer on the semantics of getting an attribute value. Also, IDL isn't limited to CORBA or remote object protocols.