|
ABSTRACT
The distributed nature of BPEL processes, the absence of a single stakeholder, the fact that partner services can dynamically change their functionality and/or QoS, and the fact we can define abstract processes and look for actual services at run-time, preclude design-time validation of such systems. We cannot assume that the cooperation between the involved parties will always play out as planned. This uncertainty requires that the interactions between the BPEL orchestrator and selected services be suitably monitored, and that recovery capabilities be available to react accordingly to unexpected events and keep the execution on track BPEL supplies primitives to probe the execution flow and react in case of unexpected events, but they are insufficient. We present a flexible and customizable way to augment processes with probing capabilities and recovery strategies. The monitoring part is based on WSCoL and recovery strategies are defined as suitable compositions of atomic actions, context information, and monitoring results. The paper presents the approach, and its supporting environment; AOP provides the technological underpinnings of the proposal. The final result is a framework for self-healing compositions of Web services
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Gustavo Alonso , Divyakant Agrawal , Amr El Abbadi , Mohan Kamath , Roger Günthör , C. Mohan, Advanced Transaction Models in Workflow Contexts, Proceedings of the Twelfth International Conference on Data Engineering, p.574-581, February 26-March 01, 1996
|
 |
2
|
|
| |
3
|
L. Baresi and S. Guinea. Towards 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 269--282. Springer, 2005.
|
| |
4
|
D. Berardi, D. Calvanese, G. D. Giacomo, and M. Mecella. Composition of services with nondeterministic observable behavior. 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 520--526. Springer, 2005.
|
| |
5
|
Lilian Burdy , Yoonsik Cheon , David R. Cok , Michael D. Ernst , Joseph R. Kiniry , Gary T. Leavens , K. Rustan M. Leino , Erik Poll, An overview of JML tools and applications, International Journal on Software Tools for Technology Transfer (STTT), v.7 n.3, p.212-232, June 2005
[doi> 10.1007/s10009-004-0167-4]
|
| |
6
|
|
 |
7
|
|
| |
8
|
|
 |
9
|
|
 |
10
|
G. Cugola , E. Di Nitto , C. Ghezzi , M. Mantione, How to deal with deviations during process model enactment, Proceedings of the 17th international conference on Software engineering, p.265-273, April 24-28, 1995, Seattle, Washington, United States
[doi> 10.1145/225014.225039]
|
| |
11
|
F. Daniel. A portable approach to exception handling in workflow management systems. Technical report, Politecnico di Milano -- Dipartimento di Elettronica e Informazione, 2006.
|
| |
12
|
A. Endpoints. Activebpel engine architecture. http://www.activebpel.org/docs/architecture.html.
|
| |
13
|
D. N. et al. A Prototype of the Service-Centric Runtime -- Executive Summary. Technical report, SeCSE IP Project, 2006.
|
| |
14
|
IBM, B. Systems, Microsoft, S. AG, and S. Systems. Business process execution language for web services version 1.1. http://www-128.ibm.com/developerworks/library/specification/ws-bpel/, 2005.
|
| |
15
|
|
| |
16
|
Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
|
| |
17
|
H. Liu and M. Parashar. DIOS++: A framework for rule-basedn autonomic management of distributed scientific applications. In H. Kosch, L. Böszörményi, and H. Hellwagner, editors, Euro-Par, volume 2790 of Lecture Notes in Computer Science, pages 66--73. Springer, 2003.
|
| |
18
|
|
| |
19
|
C. Pautasso and G. Alonso. Flexible binding for reusable composition of web services. In T. Gschwind, U. Aßmann, and O. Nierstrasz, editors, Software Composition, volume 3628 of Lecture Notes in Computer Science, pages 151--166. Springer, 2005.
|
| |
20
|
|
| |
21
|
M. Trainotti, M. Pistore, G. Calabrese, G. Zacco, G. Lucchese, F. Barbon, P. Bertoli, and P. Traverso. Astro: Supporting composition and execution of web services. 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 495--501. Springer, 2005.
|
| |
22
|
|
| |
23
|
A. Wise, A. G. Cass, B. S. Lerner, E. K. McCall, L. J. Osterweil, and S. M. S. Jr. Using Little-JIL to Coordinate Agents in Software Engineering. In ASE, pages 155--164, 2000.
|
CITED BY
|
|
Luciano Baresi , Sam Guinea , Liliana Pasquale, Towards a unified framework for the monitoring and recovery of BPEL processes, Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications, p.15-19, July 21-21, 2008, Seattle, Washington
|
|