Object Constraint Language (OCL) zone