Modeling and Transforming Abstract Constraints for Automatic Service Composition | IEEE Conference Publication | IEEE Xplore