UML14 — Using OCL at the meta-model level

A. page 2-55; 2.5.3.6 Binding
constraint [1]

self.client.oclIsKindOf(self.supplier)

Using my current understanding of OCL this seems wrong for the following
reason:
1. self.client returns an element at the M1 level (a UML model construct)
2. the oclIsKindOf predicate compares the type of self.client
(I assume the type of self.client is a metaclass at the M2 level) with the
argument (which I assume from the definition of the predicate
is a type and is thus an M2 element).
3. self.supplier is not an M2 element.

B. page 2-61 constraint [5] (similar comments as above)

Am I misinterpreting self, OclIsKindOf, ...?

No Data Available