The Design and Enforcement of a Rule-based Constraint Policy Language for Service Composition | IEEE Conference Publication | IEEE Xplore