This Article 
 Bibliographic References 
 Add to: 
Event-Based Design and Runtime Verification of Composite Service Transactional Behavior
January-March 2010 (vol. 3 no. 1)
pp. 32-45
Walid Gaaloul, Institut TELECOM, Evry
Sami Bhiri, DERI-NUIG, Galway
Mohsen Rouached, Institut TELECOM, Evry
Different from process components, Web services are defined independently from any execution context. A key challenge of (Web) service compositions is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of service compositions especially in case of failures. Therefore, there is a growing interest for verification techniques which help to prevent service composition execution failures. In this paper, we propose an event-driven approach to validate the transactional behavior of service compositions. The transactional behavior verification is done either at design time to validate recovery mechanisms consistency, or after runtime to report execution deviations and repair design errors, and therefore, formally ensure service execution reliability. By using the Event Calculus formalism to specify and check the transactional behavior consistency of service composition, our approach provides a logical foundation to ensure service execution reliability.

[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,", 2004.
[35] L. Cabrera, "Web Services Atomic Transaction (WS-AtomicTransaction)," Sept. 2003.
[36] L. Cabrera, "Web Services Business Activity Framework (WS-BusinessActivity)," Jan. 2004.
[37] Arjuna, Fujitsu, IONA, Oracle, and Sun, "Web Services Composite Application Framework (WS-CAF)," http://www., 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.

Index Terms:
Web services compositions, transactional Web services, verification, reliability, monitoring.
Walid Gaaloul, Sami Bhiri, Mohsen Rouached, "Event-Based Design and Runtime Verification of Composite Service Transactional Behavior," IEEE Transactions on Services Computing, vol. 3, no. 1, pp. 32-45, Jan.-March 2010, doi:10.1109/TSC.2010.1
Usage of this product signifies your acceptance of the Terms of Use.