Automated Holistic Service Composition: Modeling and Composition Reasoning Techniques | IEEE Conference Publication | IEEE Xplore