Ensuring relaxed atomicity for flexible transactions in multidatabase systems
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
A scalable content-addressable network
Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications
Advanced Transaction Models and Architectures
Advanced Transaction Models and Architectures
Allia: alliance-based service discovery for ad-hoc environments
WMC '02 Proceedings of the 2nd international workshop on Mobile commerce
CheeTah: a Lightweight Transaction Server for Plug-and-Play Internet Data Management
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Workflow Modeling Using Proclets
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Ad-Hoc Transactions for Mobile Services
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
A Multi-Level Model for Web Service Composition
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Toward Distributed Service Discovery in Pervasive Computing Environments
IEEE Transactions on Mobile Computing
Flexible provisioning of web service workflows
ACM Transactions on Internet Technology (TOIT)
A Management Framework for WS-BPEL
ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
Engineering compensations in web service environment
ICWE'07 Proceedings of the 7th international conference on Web engineering
Verifying composite service transactional behavior using event calculus
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Handling transactional properties in web service composition
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
| Hi-index | 0.00 |
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.