Issue No. 01 - January/February (2009 vol. 35)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2008.86
Chunyang Ye , The Hong Kong University of Science and Technology, Hong Kong
S.C. Cheung , The Hong Kong University of Science and Technology, Hong Kong
W.K. Chan , City University of Hong Kong, Hong Kong
Chang Xu , The Hong Kong University of Science and Technology, Hong Kong
Atomicity is a highly desirable property for achieving application consistency in service compositions. To achieve atomicity, a service composition should satisfy the atomicity sphere, a structural criterion for the backend processes of involved services. Existing analysis techniques for atomicity sphere generally assume complete knowledge of all involved backend processes. Such an assumption is invalid when some service providers do not release all details of their backend processes to service consumers outside the organizations. To address this problem, we propose a process algebraic framework to publish atomicity-equivalent public views from the backend processes. These public views extract relevant task properties and reveal only partial process details that service providers need to expose. Our framework enables the analysis of atomicity sphere for service compositions using these public views instead of their backend processes. This allows service consumers to choose suitable services such that their composition satisfies the atomicity sphere without disclosing the details of their backend processes. Based on the theoretical result, we present algorithms to construct atomicity-equivalent public views and to analyze the atomicity sphere for a service composition. Two case studies from supply chain and insurance domains are given to evaluate our proposal and demonstrate the applicability of our approach.
Analysis, Specification, Software and System Safety, System integration and implementation, Formal methods, Model checking, Validation
C. Ye, C. Xu, W. Chan and S. Cheung, "Atomicity Analysis of Service Composition across Organizations," in IEEE Transactions on Software Engineering, vol. 35, no. , pp. 2-28, 2008.