context XDSSDDocument
inv: (self.documentationOf->size()>0) and
 self.documentationOf->exists(docu : POCDMT000040DocumentationOf | (not docu.serviceEvent.oclIsUndefined()) and (not docu.serviceEvent.effectiveTime.oclIsUndefined()))