From Specification to Adaptation: An Integrated QoS-driven Approach for Dynamic Adaptation of Web Service Compositions | IEEE Conference Publication | IEEE Xplore