Transactional Support of ad-hoc Collaborations in Mobile Environments

摘要

Technological advances allow users in mobile environments to spontaneously cooperate with those currently available. Service oriented computing provides suitable means to technically support such distributed collaboration. However, when executing these applications in dynamic environments, failures have to be optimistically coped with, in order to avoid inconsistent system states and thereby provide suitable correctness guarantees. Transactional coordination for services so far lacks the possibility to adapt failure handling to the current execution context, e.g. dynamically bound services at runtime. In this paper, we employ transactional service properties to ensure reliable, i.e., correct execution of ad-hoc collaborations by still respecting the autonomy of participants. We propose algorithms to verify and alter service compositions at runtime to ensure correct execution.