context PPAServiceEvents
inv: self.id->size()>0 and  
self.id->forAll(ii : II | (not ii.root.oclIsUndefined()) and ( ii.extension.oclIsUndefined()))