A distributed service-oriented architecture for business process execution