Formal Methods in System Design

, Volume 44, Issue 1, pp 1–43

QoS-aware management of monotonic service orchestrations

  • Albert Benveniste
  • Claude Jard
  • Ajay Kattepur
  • Sidney Rosario
  • John A. Thywissen
Article

DOI: 10.1007/s10703-013-0191-7

Cite this article as:
Benveniste, A., Jard, C., Kattepur, A. et al. Form Methods Syst Des (2014) 44: 1. doi:10.1007/s10703-013-0191-7

Abstract

We study QoS-aware management of service orchestrations, specifically for orchestrations having a data-dependent workflow. Our study supports multi-dimensional QoS. To capture uncertainty in performance and QoS, we provide support for probabilistic QoS. Under the above assumptions, orchestrations may be non-monotonic with respect to QoS, meaning that strictly improving the QoS of a service may strictly decrease the end-to-end QoS of the orchestration, an embarrassing feature for QoS-aware management. We study monotonicity and provide sufficient conditions for it. We then propose a comprehensive theory and methodology for monotonic orchestrations. Generic QoS composition rules are developed via a QoS Calculus, also capturing best service binding—service discovery, however, is not within the scope of this work.

Monotonicity provides the rationale for a contract-based approach to QoS-aware management. Although function and QoS cannot be separated in the design of complex orchestrations, we show that our framework supports separation of concerns by allowing the development of function and QoS separately and then “weaving” them together to derive the QoS-enhanced orchestration. Our approach is implemented on top of the Orc script language for specifying service orchestrations.

Keywords

Web services QoS Algebra Probabilistic models 

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  • Albert Benveniste
    • 1
  • Claude Jard
    • 2
  • Ajay Kattepur
    • 1
  • Sidney Rosario
  • John A. Thywissen
    • 3
  1. 1.DistribCom team at INRIA RennesRennes CedexFrance
  2. 2.Department of Computer ScienceUniversité de NantesNantes Cedex 3France
  3. 3.Department of Computer ScienceThe University of Texas at AustinAustinUSA