A Formal Basis for Specifying Object Behaviour

Abstract

In an earlier article [BE95] we outlined a project for formalizing some of the key concepts of object orientation (OO) as defined in the OMG’s (Object Management Group) core object model. Since OO is premised on interoperability and compatibility it is important that central aspects of the OO perspective provide a consistent basis for development and augmentation. In effect the OO world needs to have standards not only in the sense that there has to be some basis for effective but constrained development, reducing uncertainty and risk [95B]; but also because the essence of OO is cross-platform compatibility and reuse. The OMG’s core object model is one attempt to present a set of self-sufficient and consistent concepts which can act as a firm basis for the interdependence and further development of OO products and services. There are alternative approaches to the core object model, some of which may prove to be complementary; but given the size and visibility of the 0MG it is likely that some version or variant of the core object model will continue to figure in the OO world. OO demands universality and compatibility in some form, and it is more likely that it will be formed and sustained through a standard founded on cross-industry agreement than by monopoly or overwhelming cartel.