Detection and resolution of atomicity violation in service composition

Abstract: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 run- time 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 interfere and their impacts on the atomicity property in each of its service com- positions. 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 en- forced 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.
Grants:GRF HKUST6167/04E, NSFC 60673112
Links:PDF, DOI
Citation:Chunyang Ye, S.C. Cheung, W.K. Chan, and Chang Xu, "Detection and resolution of atomicity violation in service composition",  in Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), pages 235-244, (Dubrovnik, Croatia, September 3-7, 2007),  ACM Press, New York, NY, USA (2007).
Remarks:[Acceptance rate: 16.7%, 42 out of 251]
Related Papers:-

Selected Tags

Tag Groups

Links

ACM SigSoft
IEEE Software Engineering Online