context XDSSDDocument
inv: not self.id.oclIsUndefined()