Database transaction models for advanced applications
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A program data flow analysis procedure
Communications of the ACM
Symbolic execution and program testing
Communications of the ACM
Atomicity and isolation for transactional processes
ACM Transactions on Database Systems (TODS)
Efficient and precise datarace detection for multithreaded object-oriented programs
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Efficient Detection and Resolution of Generalized Distributed Deadlocks
IEEE Transactions on Software Engineering
Transactions in loosely coupled distributed systems
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Consistency for web services applications
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Runtime Analysis of Atomicity for Multithreaded Programs
IEEE Transactions on Software Engineering
Publishing and composition of atomicity-equivalent services for B2B collaboration
Proceedings of the 28th international conference on Software engineering
Local analysis of atomicity sphere for B2B collaboration
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Data flow testing of service choreography
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Runtime verification of data-centric properties in service based systems
RV'11 Proceedings of the Second international conference on Runtime verification
Specification and monitoring of data-centric temporal properties for service-based systems
Journal of Systems and Software
Trace driven dynamic deadlock detection and reproduction
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming
Hi-index | 0.00 |
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel itself without any side effects. It is possible to achieve this property for a service composition by selecting suitable web services to form an atomicity sphere. However, this property might still be breached at runtime due to the interference between various service compositions caused by implicit interactions. Existing approaches to addressing this problem by restricting concurrent execution of services to avoid all implicit interactions however compromise the performance of service compositions due to the long running nature of web services. In this paper, we propose a novel static approach to analyzing the implicit interactions a web service may incur and their impacts on the atomicity property in each of its service compositions. By locating afflicted implicit interactions in a service composition, behavior constraints based on property propagation are formulated as local safety properties, which can then be enforced by the affected web services at runtime to suppress the impacts of the afflicted implicit interactions. We show that the satisfaction of these safety properties exempts the atomicity property of this service composition from being interfered by other services at runtime. The approach is illustrated using two service applications.