context XDSSDDocument
inv: (not self.effectiveTime.oclIsUndefined()) and 
(not self.effectiveTime.value.oclIsUndefined()) and 
self.effectiveTime.matches(self.effectiveTime.value, '(18|19|20|21)\\d\\d((0[1-9]|1[012])((0[1-9]|[12][0-9]|3[01])(([0-1]\\d|[2][0-3])(([0-5]\\d)(([0-5]\\d)((\\.\\d)\\d?\\d?\\d?)?)?)?)?))([+-][0-1][0-9][0,3,4][0,5])')