context XDSSDDocument inv: (self.author->size()>0) and self.author->exists(auth : POCDMT000040Author | (not auth.assignedAuthor.oclIsUndefined()) and (not auth.assignedAuthor.assignedAuthoringDevice.oclIsUndefined()))