context PPAServiceEvents
inv: (not self.code.oclIsUndefined()) and 
(not self.code.displayName.oclIsUndefined())