Handtuned MagicDraw UML 19.0 v9 -- supplier of the ControllingMeasure must be a Situation Situation.allInstances().base_Class->includesAll(self.base_Dependency.supplier) OCL2.0 -- client of the Violates must be a Situation Situation.allInstances().base_Class->includesAll(self.base_Dependency.client) OCL2.0 -- client of the RelevantTo must be a Situation Situation.allInstances().base_Class->includesAll(self.base_Dependency.client) OCL2.0