Sample:The Object Constraint Language