Event-based design and runtime verification of composite service transactional behavior

IEEE Transactions on Services Computing

Volumn 3, Issue 1, 2010, Pages 32-45

  Gaaloul, Walid ^a   Bhiri, Sami ^b   Rouached, Mohsen ^a  

^a INSTITUT TELECOM   (France)

^b NATIONAL UNIVERSITY OF IRELAND   (Ireland)

Author keywords

Monitoring; Reliability; Transactional Web services; Verification; Web services compositions

Indexed keywords

BEHAVIOR CONSISTENCY; COMPOSITE SERVICES; DESIGN ERRORS; DESIGN TIME; EVENT CALCULUS; EVENT-BASED; EVENT-DRIVEN APPROACH; EXECUTION CONTEXT; LOGICAL FOUNDATIONS; PROCESS COMPONENT; RECOVERY MECHANISMS; RELIABLE EXECUTION; RUN-TIME VERIFICATION; RUNTIMES; SERVICE COMPOSITIONS; SERVICE EXECUTION; TRANSACTIONAL WEB SERVICES; VERIFICATION TECHNIQUES; WEB SERVICES COMPOSITION; WEB SERVICES COMPOSITIONS;

MACHINE DESIGN; QUALITY OF SERVICE; RELIABILITY;

WEB SERVICES;

EID: 77950689777     PISSN: 19391374     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSC.2010.1     Document Type: Article

References (38)

1. G. Alonso, F. Casati, H. Kuno, and V. Machiraju, Web Services: Concepts, Architectures and Applications. Springer-Verlag, Oct. 2003.
2. H.K.V.M.G. Alonso and F. Casati, Web Services: Concepts, Architectures and Applications. Springer, 2004.
3. R. Kowalski and M.J. Sergot, "A Logic-Based Calculus of Events," New Generation Computing, vol.4, no.1, pp. 67-95, 1986.
4. Database Transaction Models for Advanced Applications, A.K. Elmagarmid, ed. Morgan Kaufmann Publishers, Inc., 1992.
5. W.M.P. van der Aalst and K.M. van Hee, Workflow Management: Models, Methods and Tools, J.W.S.M. Papazoglou and J. Mylopoulos, eds. MIT Press, 2002.
6. S. Bhiri, O. Perrin, and C. Godart, "Extending Workflow Patterns with Transactional Dependencies to Define Reliable Composite Web Services," Proc. Advanced Int'l Conf. Telecomm. and Int'l Conf. Internet and Web Applications and Services (AICT/ICIW), p. 145, 2006.
7. W. Gaaloul, S. Bhiri, and A. Haller, "Mining and Re-Engineering Transactional Workflows for Reliable Executions," Proc. Int'l Conf. Conceptual Modeling (ER), C. Parent, K.-D. Schewe, V.C. Storey, and B. Thalheim, eds., pp. 485-501, 2007.
8. E.T. Mueller, "Event Calculus Reasoning through Satisfiability, " J. Logic and Computation, vol.14, no.5, pp. 703-730, 2004.
9. S. Mehrotra, R. Rastogi, H.F. Korth, and A. Silberschatz, "A Transaction Model for Multidatabase Systems," Proc. Int'l Conf. Distributed Computing Systems (ICDCS '92), pp. 56-63, 1992.
10. B. Medjahed, B. Benatallah, A. Bouguettaya, A.H.H. Ngu, and A.K. Elmagarmid, "Business-to-Business Interactions: Issues and Enabling Technologies," The VLDB J. vol.12, no.1, pp. 59-85, 2003.
11. W.M.P. van der Aalst, A.P. Barros, A.H.M. ter Hofstede, and B. Kiepuszewski, "Advanced Workflow Patterns," Proc. Fifth IFCIS Int'l Conf. Cooperative Information Systems (CoopIS '00), O. Etzion and P. Scheuermann, eds., pp. 18-29, Sept. 2000.
12. W.M.P. van der Aalst and A.H.M. ter Hofstede, "YAWL: Yet Another Workflow Language," Information Systems, vol.30, no.4, pp. 245-275, 2005.
13. S. Bhiri, C. Godart, and O. Perrin, "Transactional Patterns for Reliable Web Services Compositions," Proc. Int'l Conf. Web Eng. (ICWE '06), D. Wolber, N. Calder, C. Brooks, and A. Ginige, eds., pp. 137-144, 2006.
14. R. Hamadi, B. Benatallah, and B. Medjahed, "Self-Adapting Recovery Nets for Policy-Driven Exception Handling in Business Processes," Distributed and Parallel Databases, vol.23, no.1, pp. 1- 44, 2008.
15. J. Eder and W. Liebhart, "The Workflow Activity Model Wamo," Proc. Int'l Conf. Cooperative Information Systems (CoopIS '95), pp. 87- 98, 1995.
16. P.W.P.J. Grefen, J. Vonk, E. Boertjes, and P.M.G. Apers, "Two- Layer Transaction Management for Workflow Management Applications," Proc. Int'l Conf. Database and Expert Systems Applications (DEXA '97), pp. 430-439, 1997.
17. G. Canals, C. Godart, F. Charoy, P. Molli, and H. Skaf-Molli, "Coo Approach to Support Cooperation in Software Developments," IEE Proc.-Software, vol.145, nos. 2/3, pp. 79-84, 1998.
18. M. Kamath and K. Ramamritham, "Failure Handling and Coordinated Execution of Concurrent Workflows," Proc. Int'l Conf. Data Eng. (ICDE '98), pp. 334-341, 1998.
19. M. Baglioni, U. Ferrara, A. Romei, S. Ruggieri, and F. Turini, "Use Soap-Based Intermediaries to Build Chains of Web Service Functionality," 2002.
20. S. Bhiri, O. Perrin, and C. Godart, "Ensuring Required Failure Atomicity of Composite Web Services," Proc. Int'l World Wide Web Conf. (WWW '05), pp. 138-147, 2005.
21. M. Rouached, W. Gaaloul, W.M.P. van der Aalst, A.S. Bhiri, and C. Godart, "Web Service Mining and Verification of Properties: An Approach Based on Event Calculus," Proc. 14th Int'l Conf. Cooperative Information Systems (CoopIS '06), Nov. 2006.
22. S. Stratulat, "A General Framework to Build Contextual Cover Set Induction Provers," J. Symbolic Computation, vol.32, no.4, pp. 403- 445, 2001.
23. T. Bultan, X. Fu, R. Hull, and J. Su, "Conversation Specification: A New Approach to Design and Analysis of E-Service Composition," Proc. Int'l World Wide Web Conf. (WWW '03), pp. 403-410, 2003.
24. R. Hamadi and B. Benatallah, "A Petri Net-Based Model for Web Service Composition," Proc. 14th Australasian Database Conf. (ADCDT '03), pp. 191-200, 2003.
25. T. Wang, P.W.P.J. Grefen, and J. Vonk, "Abstract Transaction Construct: Building a Transaction Framework for Contract- Driven, Service-Oriented Business Processes," Proc. Int'l Conf. Service-Oriented Computing (ICSOC '06), pp. 434-439, 2006.
26. A. Berry and Z. Milosevic, "Extending Choreography with Business Contract Constraints," Int'l J. Cooperative Information Systems, vol.14, nos. 2/3, pp. 131-179, 2005.
27. A. Portilla, C. Collet, and G. Vargas-Solar, "Towards a Transactional Services Coordination Model," Proc. Int'l Database Eng. and Applications Symp. (IDEAS '06), pp. 319-320, 2006.
28. M. Younas and K.-M. Chao, "A Tentative Commit Protocol for Composite Web Services," J. Computer and System, vol.72, no.7, pp. 1226-1237, 2006.
29. S. Tai, R. Khalaf, and T. Mikalsen, "Composition of Coordinated Web Services," Proc. Fifth ACM/IFIP/USENIX Int'l Conf. Middleware, pp. 294-310, 2004.
30. M.-C. Fauvet, H. Duarte, M. Dumas, and B. Benatallah, "Handling Transactional Properties in Web Service Composition," Proc. Int'l Conf. Web Information Systems Eng. (WISE '05), pp. 273-289, 2005.
31. W. Zhao, L.E. Moser, and P.M. Melliar-Smith, "A Reservation- Based Coordination Protocol for Web Services," Proc. IEEE Int'l Conf. Web Services (ICWS '05), pp. 49-56, 2005.
32. Z. Yang and C. Liu, "Implementing a Flexible Compensation Mechanism for Business Processes in Web Service Environment," Proc. Int'l Conf. Web Services (ICWS '06), pp. 753-760, 2006.
33. IBM, BEA, and Microsoft, "Business Process Execution Language for Web Services (BPEL4WS)," 2003.
34. N. Kavantzas, D. Burdett, G. Ritzinger, and Y. Lafon, "Web Services Choreography Description Language Version 1.0," http://www.w3.org/TR/ws- cdl-10, 2004.
35. L. Cabrera, "Web Services Atomic Transaction (WS-AtomicTransaction), " Sept. 2003.
36. L. Cabrera, "Web Services Business Activity Framework (WSBusinessActivity)," Jan. 2004.
37. Arjuna, Fujitsu, IONA, Oracle, and Sun, "Web Services Composite Application Framework (WS-CAF)," http://www. arjuna.com/standards/ws-caf, 2010.
38. S. Bhiri, W. Gaaloul, and C. Godart, "Mining and Improving Composite Web Services Recovery Mechanisms," Int'l J. Web Service Research, vol.5, no.2, pp. 23-48, 2008.