Enabling Reusable and Adaptive Modeling, Provisioning & Execution of BPEL Processes | IEEE Conference Publication | IEEE Xplore