Abstract: Different from process components, Web services are defined independently from any execution context. A key challenge of (Web) service compositions is how to ensure reliable execution. Due ...