Adaptive workflow management to ensure transactional service composition

When supporting ad-hoc collaboration in heterogeneous environments, one has to be able to optimistically cope with failures in order to support reliable cooperation. Composite services technically provide suitable means to implement ad-hoc cooperations. We explore transactional properties of services at runtime to ensure correct execution of workflows by still respecting the autonomy of participants. We propose algorithms to verify compositions at runtime and adapt them according to the current execution context in case the verification fails.