context PPAServiceEvents
inv: (not self.effectiveTime.oclIsUndefined()) and 
(not self.effectiveTime.high.oclIsUndefined()) and 
(not self.effectiveTime.high.value.oclIsUndefined())