Towards choreography-based process distribution in the cloud | IEEE Conference Publication | IEEE Xplore