Foundation - Core (Forts.)
Semantik für AssociationEnd:
- Ist das eine Ende ein Interface oder ein DataType, dann ist das andere Ende nicht navigierbar
- In OCL:
(self.type.oclIsKindOf (Interface) or
self.type.oclIsKindOf (DataType)) implies
self.association.connection->select
(ae | ae <> self)->forAll(ae | ae.isNavigable = #false)