About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
Computer Standards and Interfaces
Paper
A formal description of the OMG's Core Object Model and the meaning of compatible extension
Abstract
The Object Management Group's Core Object Model provides a standard type structure that must be supported by compliant object-oriented systems (such as IBM's SOM Object Request Broker) and languages (such as C++). The standard is expressed in prose and punctuated by several small examples. The standard also attempts to convey the idea of compatible extensions to the model. The objective of the work reported here was to understand and to communicate the essence of the above standard by use of a formal description technique, the Z notation. In so doing, the meaning of compatibility was clarified. These efforts have been well-received by authors of the original standard. © 1995.