Detection and resolution of atomicity violation in service composition

6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007

Volumn , Issue , 2007, Pages 235-244

  Ye, Chunyang ^a   Cheung, S C ^a   Chan, W K ^b   Xu, Chang ^a  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

^b CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Atomicity; Behavior constraint; Implicit interaction; Web services

Indexed keywords

CONSTRAINT THEORY; FAULT TOLERANT COMPUTER SYSTEMS; HUMAN COMPUTER INTERACTION; STATIC ANALYSIS; FLOW INTERACTIONS; SAFETY ENGINEERING; SOFTWARE ENGINEERING; WEB SERVICES; WORLD WIDE WEB;

BEHAVIOR CONSTRAINTS; IMPLICIT INTERACTION; APPLICATION CONSISTENCIES; ATOMICITY; ATOMICITY VIOLATIONS; BEHAVIOR CONSTRAINT; CONCURRENT EXECUTIONS; DESIRABLE PROPERTIES; IMPLICIT INTERACTIONS; IN SERVICES; LOCAL SAFETIES; SAFETY PROPERTIES; SERVICE APPLICATIONS; SERVICE COMPOSITIONS; SIDE EFFECTS; STATIC APPROACHES;

WEB SERVICES; CHEMICAL ANALYSIS;

EID: 37849004640     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1287624.1287658     Document Type: Conference Paper

References (18)

1. Allen, F.E., and Cocke, J. A program data flow analysis procedure. CACM, vol.19, no.3, March 1976, pp. 137-146.
2. Arpinar, I.B., Halici, U., Arpinar, S., and Dogac, A. Formalization of workflows and correctness issues in the presence of concurrency. Distributed & Parallel Databases, vol.7, no.2, Apr 1999, pp. 199-248.
3. BTP. Available at: http://www.oasis-open.org/committees/tcjiome.php (accessed on March 7, 2007).
4. Choi, J-D, Lee, K., Loginov, A., O'Callahan, R., Sarkar, V., and Sridharan, M. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proc. of PLDI, May 2002, pp. 258-269.
5. Fekete, A., Greenfield, P., Kuo, D., and Jang, J.L. Transactions in loosely coupled distributed systems, In Proc. of ADC, Adelaide, South Australia, Feb. 2003, pp. 7-12.
6. Greenfield, P., Kuo, D., Nepal, S., and Fekete, A. Consistency for web services applications, In VLDB, Trondheim, Norway, Aug-Sept. 2005,pp. 1199-1203.
7. Hagen, C., and Alonso, G. Exception handling in workflow management systems. IEEE TSE, vol.26, no. 10, Oct. 2000, pp. 943-958.
8. King, J.C. Symbolic execution and program testing. CACM, vol.19, no.7, July 1976, pp. 385-394.
9. Kshemkalyani, A.D., and Singhal, M. Efficient detection and resolution of generalized distributed deadlocks. IEEE TSE, vol.20, no.1, Jan. 1994, pp. 43-54.
10. Lee, P.A., and Anderson, T. Fault tolerance: Principles and practice, Springer-Verlag 1990.
11. MIT process handbook online, available at: http://process.mit.edu/Info/ CaseLinks.asp (accessed on June 7, 2007)
12. Schuldt, H., Alonso, G., Beeri, C., and Schek, H.J. Atomicity and isolation for transactional processes. ACM TODS, vol.27, no.l, Mar. 2002, pp. 63-116.
13. Waechter, H., and Reuter, A. The ConTract model. In Database Transaction Models for Advanced Applications, Morgan Kaufmann, 1992, pp. 219-263.
14. Wang, L., and Stoller, S.D. Runtime analysis of atomicity for multithreaded programs. IEEE TSE, vol.32, no.2, Feb. 2006, pp. 93-110.
15. WS-T. Available at: http://msdn.microsoft.com/ws/2002/08/wstx/ (accessed on March 7, 2007).
16. Ye, C.Y., Cheung, S.C., and Chan, W.K. Publishing and composition of atomicity-equivalent services for B2B collaboration. In Proc. of ICSE, 2006, China, pp. 351-360.
17. Ye, C.Y., Cheung, S.C., Chan, W.K, and Xu, C. Local analysis of atomicity sphere for B2B collaboration. In Proc. of FSE, Nov. 2006, Portland, Oregon, USA, pp. 186-196.
18. Ye, C.Y., Cheung, S.C., Chan, W.K, and Xu, C. Atomicity violation analysis for service composition. Technical report, No.HKUST-CS-07-03, Depart. of Comp. Sci. & Eng, The Hong Kong University of Science & Technology, 2007.