Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
RuleBAM: A Rule-Based Framework for Business Activity Management
SCC '04 Proceedings of the 2004 IEEE International Conference on Services Computing
Towards autonomic web services: achieving self-healing using web services
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Enterprise JavaBeans 3.0 (5th Edition)
Enterprise JavaBeans 3.0 (5th Edition)
SHIWS: A Self-Healing Integrator for Web Services
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Dynamo and Self-Healing BPEL Compositions
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Dynamo: dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Self-healing execution of business processes based on a peer-to-peer service architecture
ARCS'05 Proceedings of the 18th international conference on Architecture of Computing Systems conference on Systems Aspects in Organic and Pervasive Computing
Reliable scientific service compositions
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Non-intrusive monitoring and service adaptation for WS-BPEL
Proceedings of the 17th international conference on World Wide Web
Towards process-based composition of self-managing service-oriented systems
Proceedings of the 2nd international workshop on Systems development in SOA environments
An Autonomic Middleware Solution for Coordinating Multiple QoS Controls
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Automatic workarounds as failure recoveries
Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
Towards Correctness Assurance in Adaptive Service-Based Applications
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
ReMan: A pro-active reputation management infrastructure for composite Web services
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Automatic workarounds for web applications
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
A framework for the flexible instantiation of large scale software process tailoring
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
A role-based approach to self-healing in autonomous monitoring systems
PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part II
A framework for rule-based dynamic adaptation
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Design for adaptation of service-based applications: main issues and requirements
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Testing in Service Oriented Architectures with dynamic binding: A mapping study
Information and Software Technology
Achieving recovery in service composition with assurance points and integration rules
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Architectures & infrastructure
Service research challenges and solutions for the future internet
Adaptation of service-based systems
Service research challenges and solutions for the future internet
Service research challenges and solutions for the future internet
Formal analysis and verification of self-healing systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Non-intrusive policy optimization for dependable and adaptive service-oriented systems
Proceedings of the 27th Annual ACM Symposium on Applied Computing
ECMAF: an event-based cross-layer service monitoring and adaptation framework
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Incremental service level agreements violation handling with time impact analysis
Journal of Systems and Software
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
PWWM: a personal web workflow methodology
The Personal Web
A fault-tolerant framework for QoS-aware web service composition via case-based reasoning
International Journal of Web and Grid Services
AFAWS: An Agent based Framework for Autonomic Web Services
Multiagent and Grid Systems - Development of service-based and agent-based computing systems
Hi-index | 0.00 |
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.