Transforming Abstract QoS Requirements, Preferences, and Logic Constraints for Automatic Web Service Composition | IEEE Conference Publication | IEEE Xplore