A Constraint-Based Approach for Developing Consistent Contracts in Composite Services | IEEE Conference Publication | IEEE Xplore