Luciano Baresi
Sam Guinea
Liliana Pasquale
ABSTRACT
Many emerging domains such as ambient intelligence, context-aware applications, and pervasive computing are embracing the assumption that their software applications will be deployed in an open-world. By adopting the Service Oriented Architecture paradigm, and in particular its Web service based implementation, they are capable of leveraging components that are remote and not under their jurisdication, i.e. services. However, the distributed nature of these systems, the presence of many stakeholders, and the fact that no one has a complete knowledge of the system preclude classic static verification techniques. The capability to "self-heal" has become paramount.
In this paper we present our solution to self-healing BPEL compositions called Dynamo. It is an assertion-based solution, that provides special purpose languages (WSCoL and WSReL) for defining monitoring and recovery activities. These are executed using Dynamo, which consists of an AOP-extended version of the ActiveBPEL orchestration engine, and which leverages the JBoss Rule Engine to ensure self-healing capabilities. The approach is exemplified on a complex case study.
- Active Endpoints. ActiveBPEL. http://www.activebpel.org/docs/architecture.html.Google Scholar
- Apache. XMLBeans. http://xmlbeans.apache.org/.Google Scholar
- L. Baresi and S. Guinea. Dynamo: Dynamic Monitoring of WS-BPEL Processes. In 5th International Conference on Service Oriented Computing, pages 478--483, 2005. Google ScholarDigital Library
- L. Baresi and S. Guinea. Towards Dynamic Monitoring of WS-BPEL Processes. In 5th International Conference on Service Oriented Computing, pages 269--282, 2005. Google ScholarDigital Library
- L. Baresi and S. Guinea. Dynamo and Self-Healing BPEL Compositions. In 29th International Conference on Software Engineering (ICSE'07 Companion), pages 69--70. IEEE Computer Society, 2007. Google ScholarDigital Library
- B. Burke and R. Monson-Haefel. Enterprise JavaBeans 3.0 (5th Edition). O'Reilly Media, Inc., May 2006. Google ScholarDigital Library
- G. Denaro, M. Pezzè, and D. Tosi. SHIWS: a Self-Healing Integrator for Web Services. In 29th International Conference on Software Engineering (ICSE'07 Companion), 2007. Google ScholarDigital Library
- T. Friesel, J. P. Muller, and B. Freisleben. Self-healing Execution of Business Processes Based on a Peer-to-Peer Service Architecture. In Systems Aspects in Organic and Pervasive Computing - ARCS 2005, volume Volume 3432/2005 of Lecture Notes in Computer Science, pages 108--123. Springer Berlin / Heidelberg, 2005. Google ScholarDigital Library
- G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, W. G. Griswold. An Overview of AspectJ. In ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings, volume Volume 2072/2001, page 327. Springer Berlin / Heidelberg, 2001. Google ScholarDigital Library
- S. Guinea. Dynamo: a Framework for the Supervision of Web Service Compositions. PhD thesis, Politecnico di Milano -- Dipartimento di Elettronica e Informazione, 2007.Google Scholar
- S. A. Gurguis and A. Zeid. Towards Autonomic Web services: Achieving Self-Healing using Web services. In DEAS '05: Proceedings of the 2005 workshop on Design and evolution of autonomic application software, pages 1--5, New York, NY, USA, 2005. ACM Press. Google ScholarDigital Library
- C. Hagen and G. Alonso. Exception Handling in Workflow Management Systems. IEEE Trans. Softw. Eng., 26(10):943--958, 2000. Google ScholarDigital Library
- IBM, Autonomic Computing Initiative. Autonomic Computing. http://www-03.ibm.com/servers/autonomic/.Google Scholar
- IBM, BEA Systems, Microsoft, SAP AG, Siebel Systems. Business Process Execution Language for Web Services version 1.1. http://www.ibm.com/developerworks/library/specification/ws-bpel/.Google Scholar
- JBoss. http://labs.jboss.com/.Google Scholar
- JBoss. JBoss Rules. http://labs.jboss.com/jbossrules/docs.Google Scholar
- J. Jeng, D. Flaxer, and S. Kapoor. RuleBAM: A Rule-Based Framework for Business Activity Management. In IEEE SCC, pages 262--270. IEEE Computer Society, 2004. Google ScholarDigital Library
- H. Liu and M. Parashar. DIOS++: A Framework for Rule-Based Autonomic Management of Distributed Scientific Applications. In Euro-Par, pages 66--73, 2003.Google ScholarCross Ref
- MySQL. http://www.mysql.com/.Google Scholar
- B. Wassermann and W. Emmerich. Reliable Scientific Service Compositions. In G. Feuerlicht and C. Zirpins, editors, Proc. of 2nd Intl. Workshop on Engineering Service-Oriented Applications: Design and Composition, WESOA'06. Springer Verlag, December 2006. Google ScholarDigital Library
Recommendations
Dynamo and Self-Healing BPEL Compositions
ICSE COMPANION '07: Companion to the proceedings of the 29th International Conference on Software EngineeringDynamo augments current BPEL technology with self-healing capabilities. Dedicated supervision rules allow the designer to set the amount of checks that must be performed at runtime and how the BPEL process must react whether anomalies arise. The ...
Self-tuning BPEL processes
ICAC '09: Proceedings of the 6th international conference on Autonomic computingThe performance of BPEL processes depends on the composing web services. Monitoring web service performance and adapting to changes in service performance are essential for creating self-tuning BPEL processes. Unfortunately, BPEL supports neither ...
Self-healing for autonomic pervasive computing
SAC '07: Proceedings of the 2007 ACM symposium on Applied computingSelf-healing is one of the main challenges to growing autonomic pervasive computing. Fault detection and recovery are the main steps of self-healing. Due to the characteristics of pervasive computing the self-healing becomes difficult. In this paper, ...
Comments