The Design and Enforcement of a Rule-based Constraint Policy Language for Service Composition