Preventing Performance Violations of Service Compositions Using Assumption-Based Run-Time Verification

Schmieders, Eric; Metzger, Andreas

doi:10.1007/978-3-642-24755-2_19

Cited by 16 publications

(15 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A number of other recent proposals that are concerned more with predicting SLA violations than with computing the composition level QoS (or their distributions), are based on data mining [17], online testing [18], and model checking [19]. We argue that the information that can be derived from computed composition QoS distribution is much richer than a yes/no prediction of some predefined SLA violation.…”

Section: B Qos Analysismentioning

confidence: 94%

Towards QoS prediction based on composition structure analysis and probabilistic environment models

Ivanović

Kaowichakorn

Carro

2013

2013 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)

View full text Add to dashboard Cite

Abstract-Complex software systems are usually built by composing numerous components, including external services. The quality of service (QoS) is essential for determining the usability of such systems, and depends both on the structure of the composition and on the QoS of its components. Since the QoS of each component is usually determined with uncertainty and varies from one invocation to another, the composite system also exhibits stochastic QoS behavior. We propose an approach for computing probability distributions of the composite system QoS attributes based on known probability distributions of the component QoS attributes and the composition structure. The approach is experimentally evaluated using a prototype analyzer tool and a real-world service-based example, by comparing the predicted probability distributions for the composition QoS with the actual distribution of QoS values from repeated actual executions.

show abstract

Section: B Qos Analysismentioning

confidence: 94%

Towards QoS prediction based on composition structure analysis and probabilistic environment models

Ivanović

Kaowichakorn

Carro

2013

2013 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)

View full text Add to dashboard Cite

show abstract

“…Some research work use runtime verification techniques to determine the necessity of adaptation and to trigger preventive adaptation. In [6], the authors introduce SPADE approach: after the execution of each task, if the local SLA is violated, SPADE uses both monitored data and the assumptions to verify whether the global SLA can be still satisfied. If it reveals that the global SLA is tent to be violated, the adaptation is accordingly triggered.…”

Section: A Related Workmentioning

confidence: 99%

“…All existing approaches can be classified into two categories: offline analysis [1], [2], [3] and online prediction [4], [5], [6]. Offline approaches can decide when and how to improve the end-to-end quality of SBA by reasoning the causes of the past SLA violations.…”

Section: Introductionmentioning

confidence: 99%

A Two-Phase Online Prediction Approach for Accurate and Timely Adaptation Decision

Wang

Pazat

2012

2012 IEEE Ninth International Conference on Services Computing

View full text Add to dashboard Cite

Abstract-A Service-Based Application (SBA) is built by defining a workflow that composes and coordinates different Web services available via the Internet. In the context of on-demand SBA execution, suitable services are selected and integrated at runtime to meet different non-functional requirements (such as price and execution time). In such dynamic and distributed environment, an important issue is to guarantee the end-toend Quality of Service (QoS). As a consequence, SBA provider is required to monitor each running SBA instance, analyze its runtime execution states, then identify proper adaptation plans if necessary, and finally apply the relative countermeasures. One of the main challenges is to accurately trigger the adaptation process as early as possible.In this paper, we present a two-phase decision approach that can accurately analyze the adaptation needs for on-demand SBA execution model. Our approach is based on the online prediction techniques: an adaptation decision is determined by predicting an upcoming end-to-end QoS degradation through two-phase evaluations. Firstly, the end-to-end QoS is estimated at runtime based on monitoring techniques; if a QoS degradation is tent to happen, in the second phase, both static and adaptive strategies are introduced to assess whether it is the best timing to draw the final adaptation decision. Our approach is evaluated and validated by a series of realistic simulations.

show abstract

“…While several types of run-time adaptation aimed at avoiding or mitigating SLA violations have been proposed [10,12,21], these are often only applicable to the request-response message exchange pattern and/or to acyclic control structures. Several prediction and run-time adaptation approaches, more suited for orchestrations with centralized control flow, were proposed based on machine learning [15], online testing [19], and model checking [20].…”

Section: Introductionmentioning

confidence: 99%

A Constraint-Based Approach to Quality Assurance in Service Choreographies

Ivanović

Carro

Hermenegildo

2012

Service-Oriented Computing

View full text Add to dashboard Cite

Abstract. Knowledge about the quality characteristics (QoS) of service compositions is crucial for determining their usability and economic value. Service quality is usually regulated using Service Level Agreements (SLA). While end-to-end SLAs are well suited for request-reply interactions, more complex, decentralized, multi-participant compositions (service choreographies) typically involve multiple message exchanges between stateful parties and the corresponding SLAs thus encompass several cooperating parties with interdependent QoS. The usual approaches to determining QoS ranges structurally (which are by construction easily composable) are not applicable in this scenario. Additionally, the intervening SLAs may depend on the exchanged data. We present an approach to data-aware QoS assurance in choreographies through the automatic derivation of composable QoS models from participant descriptions. Such models are based on a message typing system with size constraints and are derived using abstract interpretation. The models obtained have multiple uses including run-time prediction, adaptive participant selection, or design-time compliance checking. We also present an experimental evaluation and discuss the benefits of the proposed approach.

show abstract

Preventing Performance Violations of Service Compositions Using Assumption-Based Run-Time Verification

Cited by 16 publications

References 15 publications

Towards QoS prediction based on composition structure analysis and probabilistic environment models

Towards QoS prediction based on composition structure analysis and probabilistic environment models

A Two-Phase Online Prediction Approach for Accurate and Timely Adaptation Decision

A Constraint-Based Approach to Quality Assurance in Service Choreographies

Contact Info

Product

Resources

About