QoS-Aware Management of Monotonic Service Orchestrations - Archive ouverte HAL
Article Dans Une Revue Formal Methods in System Design Année : 2014

QoS-Aware Management of Monotonic Service Orchestrations

Résumé

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 sucient 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 QoSenhanced orchestration. Our approach is implemented on top of the Orc script language for specifying service orchestrations.
Fichier principal
Vignette du fichier
FORM-D-12-00304.pdf (822.83 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00840362 , version 1 (02-07-2013)

Identifiants

Citer

Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen. QoS-Aware Management of Monotonic Service Orchestrations. Formal Methods in System Design, 2014, 44 (1), pp.1-43. ⟨10.1007/s10703-013-0191-7⟩. ⟨hal-00840362⟩
570 Consultations
317 Téléchargements

Altmetric

Partager

More