Automated maintenance of service compositions with SLA violation detection and dynamic binding

Web service compositions need to adapt to changes in their constituent web services, in order to maintain functionality and performance. Therefore, service compositions must be able to detect web service failure and performance degradation resulting in the violation of service-level agreements. Automated diagnosis and repair are equally important. However, existing standards and languages for service compositions, such as BPEL, lack constructs for web service monitoring and runtime adaptability, which are pre-requisites for diagnosis and repair. We present a solution for transparent runtime monitoring, as well as automated performance degradation detection, diagnosis, and repair for service compositions expressed as BPEL processes. Our solution uses lightweight monitoring techniques, supports customizable diagnosis and repair strategies, and is compatible with any standards-compliant BPEL engin

A coordination protocol for user-customisable cloud policy monitoring

Cloud computing will see a increasing demand for end-user customisation and personalisation of multi-tenant cloud service offerings. Combined with an identified need to address QoS and governance aspects in cloud computing, a need to provide user-customised QoS and governance policy management and monitoring as part of an SLA management infrastructure for clouds arises. We propose a user-customisable policy definition solution that can be enforced in multi-tenant cloud offerings through an automated instrumentation and monitoring technique. We in particular allow service processes that are run by cloud and SaaS providers to be made policy-aware in a transparent way

Adaptive Service Composition Based on Runtime Verification of Formal Properties

Service-Oriented Computing (SOC) has been used in business environments in order to integrate heterogeneous systems. The dynamic nature of these environments causes \ changes in the application requirements. As a result, service composition must be flexible, dynamic and adaptive, which motivate the need to ensure the service composition behavior \ at runtime. The development of adaptive service compositions is still an opportunity due to the complexity of dealing with adaptation issues, for example, how to provide runtime verification \ and automatic adaptation. Formal description techniques can be used to detect runtime undesirable behaviors that help in adaptation process. However, formal techniques have been \ used only at design-time. In this paper, we propose an adaptive service composition approach based on the lightweight use of formal methods. The aim is detecting undesirable behaviors in \ the execution trace. Once an undesirable behavior is detected during the execution of a service composition, our approach triggers an adequate reconfiguration plan for the problem at \ runtime. In order to evaluate the effectiveness of the proposal, we illustrate it with a running example

Integrating Mobile Tasks with Business Processes: A Self-Healing Approach

Process management technology constitutes a fundamental component of any service-driven computing environment. Process management facilitates both the composition of services at design time and their orchestration at run time. In particular, when applying the service paradigm to enterprise integration management, high flexibility is required. In this context, atomic as well as composite services representing the business functions should be quickly adaptable to cope with dynamic business changes. Furthermore, they should enable mobile and quick access to enterprise information. The growing maturity of smart mobile devices has fostered their prevalence in knowledge-intensive areas in the enterprise as well. As a consequence, process management technology needs to be enhanced with mobile task support. However, tasks hitherto executed stationarily, cannot be simply transferred in order to run on smart mobile devices. Many research groups focus on the partitioning of processes and the distributed execution of the resulting fragments on smart mobile devices. Opposed to this fragmentation concept, this chapter proposes an approach to enable the robust and flexible execution of single process tasks on smart mobile devices by provisioning self-healing techniques to address the smooth integration of mobile tasks with business processes