Specialisation of class Application Object

A Specialisation_of_class is a relationship between two instances of Class (subclass and superclass) that indicates each member of the subclass is also a member of the superclass.

The nature of a Class can be indicated by specifying a superclass.

EXAMPLE - The relationship between:

• the Specific_product_specification that is 'bearing type B_1234'; and
• the Specific_product_specification that is 'roller bearing',

that indicates each bearing of type B_1234 is a roller bearing, is a Specialisation_of_class.

'Roller bearing' is probably a standard instance of Class that is defined in a reference data library.

NOTE - This application object has been defined to indicate the common semantics of other application objects which are specialisations or populations of it. This application object has no interpretation on to the MIM. Instead each of its subtypes is interpreted separately.

EXPRESS specification:

*)
ENTITY Specialisation_of_class
  ABSTRACT SUPERTYPE;
  subclass  :  Class;
  superclass  :  Class;
END_ENTITY;
(*

Attribute definitions:

subclass : the Class that has each member also a member of the superclass.

superclass : the Class that contains each member of the subclass.