Towards a unified framework for the monitoring and recovery of BPEL processes

ABSTRACT

Web services have proven to be a viable solution for interoperability issues. Since end users do not buy services, but only interact with them remotely, such complex systems end up having a distributed ownership, meaning different parts of a system can evolve independently. This has brought researchers to concentrate on run-time management issues such as dynamic monitoring and self-recovery.

However, we advocate that no silver bullet has been found. All the major approaches have advantages and disadvantages. In this paper we propose a unified framework for monitoring and recovery that provides a clear separation between data collection and analysis, a common management infrastructure, and a common recovery system. Separating monitoring from recovery allows the framework to integrate different monitoring approaches seamlessly through a plug-in approach. The common management infrastructure allows us to dynamically manage the multiple monitoring approaches being used, while the common recovery approach allows us to activate advanced recovery techniques both on process instances and process definitions.

REFERENCES

• 1: Activebpel engine architecture, 2006.
• 2: Tony Andrews, Francisco Curbera, Hitesh Dholakia, Yaron Goland, Johannes Klein, Frank Leymann, Kevin Liu, Dieter Roller, Doug Smith, Satish Thatte, Ivana Trickovic, and Sanjiva Weerawarana. Business Process Execution Language for Web Services, Version 1.1. BPEL4WS specification, May 2003.
• 3: Danilo Ardagna , Marco Comuzzi , Enrico Mussi , Barbara Pernici , Pierluigi Plebani, PAWS: A Framework for Executing Adaptive Web-Service Processes, IEEE Software, v.24 n.6, p.39-46, November 2007 [doi>10.1109/MS.2007.174]
• 4: L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini. Validation of Web Service Compositions. Software, IET, 2007.
• 5: L. Baresi and S. Guinea. Dynamo: Dynamic monitoring of ws-bpel processes. In Service Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12--15, 2005, volume 3826 of Lecture Notes in Computer Science, pages 478--483. Springer, 2005.
• 6: L. Baresi and S. Guinea. Towards dynamic monitoring of WS-BPEL processes. In ICSOC 2005: 3rd International Conference on Service Oriented Computing, volume 3826 of Lecture Notes in Computer Science, pages 269--282. Springer, 2005.
• 7: Luciano Baresi , Sam Guinea, A dynamic and reactive approach to the supervision of BPEL processes, Proceedings of the 1st conference on India software engineering conference, February 19-22, 2008, Hyderabad, India [doi>10.1145/1342211.1342222]
• 8: Luciano Baresi , Elisabetta Di Nitto , Carlo Ghezzi, Towards Open-World Software: Issue and Challenges, Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, p.249-252, April 24-28, 2006 [doi>10.1109/SEW.2006.35]
• 9: Massimiliano Colombo, Elisabetta Di Nitto, and Marco Mauri. Scene: A service composition execution environment supporting dynamic changes disciplined through rules. In Asit Dan and Winfried Lamersdorf, editors, ICSOC, volume 4294 of Lecture Notes in Computer Science, pages 191--202. Springer, 2006.
• 10: Abdelkarim Erradi , Piyush Maheshwari , Vladimir Tosic, WS-Policy based Monitoring of Composite Web Services, Proceedings of the Fifth European Conference on Web Services, p.99-108, November 26-28, 2007 [doi>10.1109/ECOWS.2007.31]
• 11: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira Lopes, J. M. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP '97 - Object-Oriented Programming, 11th European Conference, Proceedings, volume 1241 of Lecture Notes in Computer Science, pages 220--242. Springer, 1997.
• 12: Khaled Mahbub , George Spanoudakis, A framework for requirents monitoring of service based systems, Proceedings of the 2nd international conference on Service oriented computing, November 15-19, 2004, New York, NY, USA [doi>10.1145/1035167.1035181]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Assertion checkers

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Reliability
      D.2.5 Testing and Debugging
          Subjects: Monitors; Error handling and recovery

General Terms:
Design, Management, Verification

Keywords:
BPEL, monitoring, quality of service, recovery, web services