context PPAServiceEvents
inv: not self.effectiveTime.oclIsUndefined()