5.8.3 OCL Representation of TypeMapping Constraints

   [C-8-1] The sourceType and targetType references may not refer to the same Classifier instance.

   5-70 Common Warehouse Metamodel, v1.1 March 2003

   context TypeMapping inv:self.sourceType <> self.targetType

   [C-8-2] A TypeSystem may own only Classifiers and TypeMappings. context TypeSystem inv:self.ownedElement->forAll( e | e.oclIsKindOf(Classifier) or

   e.oclIsKindOf(TypeMapping))