References

 [1]

Vladimir Zadorozhny. Orthogonal Formalisation of CORBA. Technical Report 121, UNU/IIST, P.O.Box 3058, Macau, August 1997.
Abstract: This report presents and justifies the idea of orthogonal formalisation of Common Object Request Broker Architecture (CORBA). Considering CORBA in a general context of specification and implementation barriers between request and an operation, we construct two independent specification hierarchies, characterising correspondingly broker implementation and object model aspects of CORBA. Though being orthogonal, the hierarchies can be easily composed resulting in a number of CORBA specifications of different abstraction levels, focused on different classes of CORBA features. It allows us to describe CORBA in a uniform and modular manner. We also considered how different CORBA features can be defined on top of the basic specifications. We assume that in such a way it is possible to characterise other CORBA dimensions (in particular, CORBA services), coming up to formal treatment of the general transparency concept in the context of system integration.
postscript

 [2]

Vladimir Zadorozhny. Towards an integrated CORBA/RAISE Semantic Interoperable Environment. Technical Report 117, UNU/IIST, P.O.Box 3058, Macau, July 1997.
Abstract: The report describes the concept of an integrated CORBA/RAISE environment for addressing problems in the semantic-based reuse of distributed CORBA-compliant software. Such environment could support a highly confident reasoning about re-usability and consistent composability of pre-existing software components under application requirements. The reasoning is based on the refinement of the application specification by a specification of the components.

We clarify the concept of Semantic Interoperable Environment (SIE) w.r.t. CORBA and RAISE, and define a general architecture of CORBA/RAISE SIE based on OMG IDL/RSL mapping and IDL extensions. We also consider questions of client/component adaptation, in particular, by decomposition of client specifications. Looking for ways of a natural decomposition, we propose an approach which is based on a separate consideration of function application and function availability semantics. Function availability can be defined independently in terms of communication patterns which are specified in Hennessy-Milner Modal Logic. Finally, we investigate some ways of further extensions of the integrated SIE towards reasoning about temporal properties and refinement of communication patterns. The report is prepared in the context of the UNU/IIST CaSIno project.
postscript