Application of branching cells to QoS aware service orchestrations

Albert Benveniste (1) , Claude Jard (2, 3) , Samy Abbes (4)

1 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
2 LINA - Laboratoire d'Informatique de Nantes Atlantique
3 UN - Université de Nantes
4 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale

By allowing service calls to be guarded by contexts, Asymmetric Event Structures (AES for short) and contextual nets are a convenient framework to model composite Web services or service orchestrations. We equip AES with QoS domains as a framework to capture a number of QoS metrics and their combination. We use the resulting model to formalize QoS-based late service binding in composite services. When subject to QoS-based late service binding, composite services 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 composite service, an embarrassing feature for QoS-aware management; we study this issue. Branching cells of AES play a central role in this study.

Domaines: Génie logiciel [cs.SE]

Albert Benveniste, Claude Jard, Samy Abbes. Application of branching cells to QoS aware service orchestrations. Theoretical Computer Science, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, ⟨10.1016/j.tcs.2014.02.049⟩. ⟨hal-00840364⟩