The Community for Technology Leaders
RSS Icon
Issue No.02 - March/April (2010 vol.36)
pp: 198-215
Mariagrazia Fugini , Politecnico di Milano, Milano
Enrico Mussi , Politecnico di Milano, Milano
Barbara Pernici , Politecnico di Milano, Milano
Gaston Tagni , Vrije Universiteit Amsterdam, Amsterdam
This paper proposes a self-healing approach to handle exceptions in service-based processes and to repair the faulty activities with a model-based approach. In particular, a set of repair actions is defined in the process model, and repairability of the process is assessed by analyzing the process structure and the available repair actions. During execution, when an exception arises, repair plans are generated by taking into account constraints posed by the process structure, dependencies among data, and available repair actions. The paper also describes the main features of the prototype developed to validate the proposed repair approach for composed Web services; the self-healing architecture for repair handling and the experimental results are illustrated.
Exception handling, failures, faults, repair, self-healing processes, Web services, process management.
Mariagrazia Fugini, Enrico Mussi, Barbara Pernici, Gaston Tagni, "Exception Handling for Repair in Service-Based Processes", IEEE Transactions on Software Engineering, vol.36, no. 2, pp. 198-215, March/April 2010, doi:10.1109/TSE.2010.8
[1] Web Service Diagnosis, Monitoring, and Diagnosability, http:/, 2010.
[2] G. Alonso, F. Casati, H. Kuno, and V. Machiraju, Web Services: Concepts, Architectures and Applications. Springer, 2004.
[3] V. De Antonellis, M. Melchiori, L. De Santis, M. Mecella, E. Mussi, B. Pernici, and P. Plebani, "A Layered Architecture for Flexible E-Service Invocation," Software—Practice and Experience, vol. 36, pp. 191-223, 2006.
[4] D. Ardagna, M. Comuzzi, E. Mussi, B. Pernici, and P. Plebani, "PAWS: A Framework for Executing Adaptive Web-Service Processes," IEEE Software, vol. 24, no. 6, pp. 39-46, Nov./Dec. 2007.
[5] D. Ardagna, C. Ghezzi, and R. Mirandola, "Rethinking the Use of Models in Software Architecture," Proc. Int'l Conf. Quality of Software Architectures: Models and Architectures, pp. 1-27, 2008.
[6] D. Ardagna and B. Pernici, "Adaptive Service Composition in Flexible Processes," IEEE Trans. Software Eng., vol. 33, no. 6, pp. 369-384, June 2007.
[7] A. Avizienis, J.-C. Laprie, B. Randell, and C.E. Landwehr, "Basic Concepts and Taxonomy of Dependable and Secure Computing," IEEE Trans. Dependable and Secure Computing, vol. 1, no. 1, pp. 11-33, Jan. 2004.
[8] L. Baresi and S. Guinea, "Dynamo and Self-Healing BPEL Compositions," Proc. Int'l Conf. Software Eng. Companion, pp. 69-70, 2007.
[9] B. Benatallah, F. Casati, and F. Toumani, "Representing, Analysing and Managing Web Service Protocols," Data and Knowledge Eng., vol. 58, no. 3, pp. 327-357, 2006.
[10] B. Benatallah, F. Casati, F. Toumani, and R. Hamadi, "Conceptual Modeling of Web Service Conversations," Proc. Int'l Conf. Advanced Information Systems Eng., pp. 449-467, 2003.
[11] B. Benatallah, Q.Z. Sheng, and M. Dumas, "The Self-Serv Environment for Web Services Composition," IEEE Internet Computing, vol. 7, no. 1, pp. 40-48, Jan./Feb. 2003.
[12] G.S. Blair, G. Coulson, L. Blair, H. Duran-Limon, P. Grace, R. Moreira, and N. Parlavantzas, "Reflection, Self-Awareness and Self-Healing in OpenORB," Proc. First Workshop Self-Healing Systems, pp. 9-14, 2002.
[13] J.L. Bresina, K. Golden, D.E. Smith, and R. Washington, "Increased Flexibility and Robustness of Mars Rovers," Proc. Fifth Int'l Symp. Artificial Intelligence, Robotics and Automation in Space, 1999.
[14] F. Buccafurri, P. De Meo, M. Fugini, R. Furnari, A. Goy, G. Lax, P. Lops, S. Modafferi, B. Pernici, D. Redavid, G. Semeraro, and D. Ursino, "Analysis of QoS in Cooperative Services for Real Time Applications," Data and Knowledge Eng., vol. 67, no. 3, pp. 463-484, 2008.
[15] J. Cao, J. Yang, W.T. Chan, and C. Xu, "Exception Handling in Distributed Workflow Systems Using Mobile Agents," Proc. IEEE Int'l Conf. e-Business Eng., pp. 48-55, Oct. 2005.
[16] J. Cardoso and A. Sheth, "Semantic E-Workflow Composition," J. Intelligent Information Systems, vol. 21, no. 3, pp. 191-225, Nov. 2003.
[17] F. Casati, S. Castano, M.G. Fugini, I. Mirbel, and B. Pernici, "Using Patterns to Design Rules in Workflows," IEEE Trans. Software Eng., vol. 26, no. 8, pp. 760-785, Aug. 2000.
[18] F. Casati, M.G. Fugini, and I. Mirbel, "An Environment for Designing Exceptions in Workflows," Information Systems, vol. 24, no. 3, pp. 255-273, 1999.
[19] M. Colombo, E. Di Nitto, and M. Mauri, "SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined through Rules," Proc. Int'l Conf. Service-Oriented Computing, pp. 191-202, Nov. 2006.
[20] L. Console, C. Picardi, and D.T. Dupré, "A Framework for Decentralized Qualitative Model-Based Diagnosis," Proc. Int'l Joint Conf. Artificial Intelligence, M.M. Veloso, ed., pp. 286-291, 2007.
[21] M.O. Cordier, Y. Pencolé, L. Travé-Massuyès, and T. Vidal, "Self-Healability $=$ Diagnosability $+$ Repairability," Proc. 18th Int'l Workshop Principles of Diagnosis, 2007.
[22] F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana, "Business Process Execution Language for Web Services (Version 1.0)," IBM document, July 2002.
[23] D3.1, "Specification of Execution Mechanisms and Composition Strategies for Self-Healing Web Services—Phase 1," technical report, WS-DIAMOND European Project, 2006.
[24] S. Davidson, W. Fan, and C. Hara, "Propagating XML Constraints to Relations," J. Computer and System Sciences, special issue Database Theory 2004, vol. 73, no. 3, pp. 316-361, 2007.
[25] E. Di Nitto, C. Ghezzi, A. Metzger, M. Papazoglou, and K. Pohl, "A Journey to Highly Dynamic, Self-Adaptive Service-Based Applications," Automated Software Eng., vol. 15, nos. 3/4, pp. 313-341, Dec. 2008.
[26] A. Dogac and I. Cingil, "A Survey and Comparison of Business-to-Business E-Commerce Frameworks," SIGecom Exchange, vol. 2, no. 2, pp. 16-27, 2001.
[27] J. Eder and W. Liebhart, "The WAMO Workflow Activity Model," Proc. Third Int'l Conf. Cooperative Information Systems, pp. 87-98, 1995.
[28] T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres, "A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity," ACM Trans. Computational Logic, vol. 5, no. 2, pp. 206-263, 2004.
[29] A. Erradi, P. Maheshwari, and V. Tosic, "Recovery Policies for Enhancing Web Services Reliability," Proc. IEEE Int'l Conf. Web Services, pp. 189-196, 2006.
[30] M.G. Fugini, B. Pernici, and F. Ramoni, "Quality Analysis of Composed Services through Fault Injection," Information Systems Frontiers, vol. 11, no. 3, pp. 227-239, July 2009.
[31] D. Garlan and B. Schmerl, "Model-Based Adaptation for Self-Healing Systems," Proc. First Workshop Self-Healing Systems, pp. 27-32, 2002.
[32] D. Ghosh, R. Sharman, H.R. Rao, and S. Upadhyaya, "Self-Healing Systems—Survey and Synthesis," Decision Support Systems, vol. 42, no. 4, pp. 2164-2185, 2007.
[33] R. Griffith, G. Kaiser, and J.A. López, "Multi-Perspective Evaluation of Self-Healing Systems Using Simple Probabilistic Models," Proc. Sixth Int'l Conf. Autonomic Computing, pp. 59-60, 2009.
[34] S.A. Gurguis and A. Zeid, "Towards Autonomic Web Services: Achieving Self-Healing Using Web Services," SIGSOFT Software Eng. Notes, vol. 30, no. 4, pp. 1-5, 2005.
[35] R. Hamadi and B. Benatallah, "A Petri Net-Based Model for Web Service Composition," Proc. 14th Australasian Database Conf., pp. 191-200, 2003.
[36] R. Hamadi, B. Benatallah, and B. Medjahed, "Self-Adapting Recovery Nets for Policydriven Exception Handling in Business Processes," Distributed and Parallel Databases, vol. 23, no. 1, pp. 1-44, 2008.
[37] J. Hoffmann, P. Bertoli, and M. Pistore, "Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty," Proc. Conf. Am. Assoc. for Artificial Intelligence, pp. 1013-1018, 2007.
[38] R.S. Kaabi, C. Souveyet, and C. Rolland, "Eliciting Service Composition in a Goal Driven Manner," Proc. Second Int'l Conf. Service Oriented Computing, pp. 308-315, 2004.
[39] N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello, "The DLV System for Knowledge Representation and Reasoning," ACM Trans. Computational Logic, vol. 7, no. 3, pp. 499-562, 2006.
[40] S. Modafferi, E. Mussi, and B. Pernici, "SH-BPEL: A Self-Healing Plug-In for WS-BPEL Engines," Proc. First Workshop Middleware for Service Oriented Computing, pp. 48-53, Nov. 2006.
[41] Z. Nie, X.-h. Jiang, J.c. Liu, and H.y. Yang, "Performance Analysis of Generalized Well-formed Workflow," Proc. ACIS Int'l Conf. Computer and Information Science, pp. 666-671, 2009.
[42] M.P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann, "Service-Oriented Computing: State of the Art and Research Challenges," Computer, vol. 40, no. 11, pp. 38-45, Nov. 2007.
[43] B. Pernici and A.M. Rosati, "Automatic Learning of Repair Strategies for Web Services," Proc. European Conf. Web Services, pp. 119-128, 2007.
[44] M. Reichert and P. Dadam, "Adept Flex—Supporting Dynamic Changes of Workflows without Losing Control," J. Intelligent Information Systems, vol. 10, no. 2, pp. 93-129, 1998.
[45] N. Russel, A.H.M. ter Hofstede, W.M.P. van der Aalst, and N. Mulyar, "Workflow Control-Flow Patterns: A Revised View," BPM Center report, 2006.
[46] N. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede, "Workflow Exception Patterns," Proc. Int'l Conf. Advanced Information Systems Eng., E. Dubois and K. Pohl, eds., pp. 288-302, 2006.
[47] A. Saboori and S.H. Zad, "Fault Recovery in Discrete Event Systems," Proc. 2005 ICSC Congress Computational Intelligence Methods and Applications, 2005.
[48] M. Schäfer, P. Dolog, and W. Nejdl, "An Environment for Flexible Advanced Compensations of Web Service Transactions," ACM Trans. Web, vol. 2, no. 2, pp. 1-36, 2008.
[49] M.E. Shin, "Self-healing Components in Robust Software Architecture for Concurrent and Distributed Systems," Science of Computer Programming, special issue on system and software architectures, vol. 57, no. 1, pp. 27-44, 2005.
[50] D. van Nieuwenborgh, T. Eiter, and D. Vermeir, "Conditional Planning with External Functions," Proc. Int'l Conf. Logic Programming and Nonmonotonic Reasoning, pp. 214-227, 2007.
[51] S. van Splunter, P.H.G. van Langen, and F.M.T. Brazier, "The Role of Local Knowledge in Complex Web Service Reconfiguration," Proc. 2005 IEEE/WIC/ACM Int'l Conf. Web Intelligence, pp. 495-499, Sept. 2005.
[52] J. Vanhatalo, H. Voelzer, and F. Leymann, "Faster and More Focused Control-Flow Analysis for Business Process Models through SESE Decomposition," Proc. 2007 Int'l Conf. Service-Oriented Computing, pp. 43-55, 2007.
[53] J. Vanhatalo, H. Voelzer, and F. Leymann, "Automatic Workflow Graph Refactoring and Completion," Proc. 2008 Int'l Conf. Service-Oriented Computing, pp. 100-115, 2008.
[54] K. Verma and A.P. Sheth, "Autonomic Web Processes," Proc. Int'l Conf. Service-Oriented Computing, pp. 1-11, 2005.
[55] G.J. Wang and Y.L. Zhang, "Optimal Periodic Preventive Repair and Replacement Policy Assuming Geometric Process Repair," IEEE Trans. Reliability, vol. 55, no. 1, pp. 118-122, Mar. 2006.
[56] H.H. Wang, N. Gibbins, T. Payne, and J. Sun, "A Formal Model of Semantic Web Service Ontology (WSMO) Execution," Proc. IEEE Int'l Conf. Eng. of Complex Computer Systems, pp. 111-120, Apr. 2008.
[57] M. Weske, Business Process Management—Concepts, Languages, Architectures. Springer, 2007.
[58] WS-Diamond Team, "WS-DIAMOND: An Approach to Web Services DIAgnosability, MONitoring and Diagnosis," Proc. E-Challenges Conf., 2007.
[59] WS-Diamond Team, "WS-DIAMOND Web Services—DIAgnosability, MONitoring and Diagnosis," At Your Service: An Overview of Results of Projects in the Field of Service Engineering of the IST Program, MIT Press, 2009.
[60] M. Zulkernine and R. Seviora, "Towards Automatic Monitoring of Component-Based Software Systems," J. Systems and Software, vol. 74, no. 1, pp. 15-24, 2005.
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool