Dynamic Support for BPEL Process Instance Adaptation | IEEE Conference Publication | IEEE Xplore