A framework for IaaS-to-SaaS monitoring of BPEL processes in the Cloud: Design and evaluation | IEEE Conference Publication | IEEE Xplore