A constraint-based approach to quality assurance in service choreographies.

Carro Liñares, Manuel and Hermenegildo, Manuel V. and Ivanovic, Dragan (2012). A constraint-based approach to quality assurance in service choreographies.. In: "10th International Conference, ICSOC 2012", 12/11/2012 - 15/11/2012, Shanghai, China. ISBN 978-3-642-34320-9. pp. 252-267. https://doi.org/10.1007/978-3-642-34321-6_17.

Description

Title: A constraint-based approach to quality assurance in service choreographies.
Author/s:
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
  • Ivanovic, Dragan
Item Type: Presentation at Congress or Conference (Article)
Event Title: 10th International Conference, ICSOC 2012
Event Dates: 12/11/2012 - 15/11/2012
Event Location: Shanghai, China
Title of Book: Service-Oriented Computing
Date: 2012
ISBN: 978-3-642-34320-9
Volume: 7636
Subjects:
Freetext Keywords: Service compositions, Quality of service, Quality assurance, Constraints, Abstract interpretation, Composiciones de servicios, Calidad del servicio, Garantía de calidad, Limitaciones, Interpretación abstracta.
Faculty: Facultad de Informática (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (177kB) | Preview

Abstract

Knowledge about the quality characteristics (QoS) of service com- positions is crucial for determining their usability and economic value. Ser- vice quality is usually regulated using Service Level Agreements (SLA). While end-to-end SLAs are well suited for request-reply interactions, more complex, decentralized, multiparticipant compositions (service choreographies) typ- ically involve multiple message exchanges between stateful parties and the corresponding SLAs thus encompass several cooperating parties with interde- pendent QoS. The usual approaches to determining QoS ranges structurally (which are by construction easily composable) are not applicable in this sce- nario. 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 partici- pant descriptions. Such models are based on a message typing system with size constraints and are derived using abstract interpretation. The models ob- tained have multiple uses including run-time prediction, adaptive participant selection, or design-time compliance checking. We also present an experimen- tal evaluation and discuss the benefits of the proposed approach.

More information

Item ID: 20527
DC Identifier: http://oa.upm.es/20527/
OAI Identifier: oai:oa.upm.es:20527
DOI: 10.1007/978-3-642-34321-6_17
Official URL: http://link.springer.com/chapter/10.1007%2F978-3-642-34321-6_17
Deposited by: Memoria Investigacion
Deposited on: 05 Nov 2013 16:59
Last Modified: 21 Apr 2016 23:21
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM