Constraint Descriptor : cons_lux_uuid (type: ERROR, kind: )

Constraint : cons_lux_uuid

Constraint Name
cons_lux_uuid (type: ERROR, kind: )
Constraint Class
IISpec
Package
luxh
Description
UUID shall appear like XXXXXXXX-XXXX-XXXX-XXXX-XXXXXXXXXXXX where each X is a single hexadecimal digit (in upper case)
OCL 
self.root.oclIsUndefined() or 
(not (self.isUUID(self.root))) or 
self.matches(self.root, '([A-Z0-9]{8}-)([A-Z0-9]{4}-)([A-Z0-9]{4}-)([A-Z0-9]{4}-)([A-Z0-9]{12})')