OCL21 — OCL 2.0 8.2 Collection Type packaging

[Pending a resolution of Issue 10946]

In order to use a collection type, it is is necessary to define that
type and provide some container for it. OCL provides no guidance on
what that container should be, or upon what the relative semantics of
A::Set(E) is with respect to B::Set(E).

QVT 1.0 has defined all CollectionType(ElementType) to be the same type
regardless of the accidental package used for their containment.

OCL should adopt the QVT definition (even if 10946 is adopted).

Resolution of issue 9171 contains an statement saying that collection instances may be in different containers and still represent the same type.

Disposition: See issue 9171 for disposition