Penalty Based Mathematical Models for Web Service Composition in a Geo-Distributed Cloud Environment | IEEE Conference Publication | IEEE Xplore