Multiple BPEL execution engines based on fragmentation approach and application of service process models | IEEE Conference Publication | IEEE Xplore