Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations | IEEE Journals & Magazine | IEEE Xplore