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