Memorias de investigación
Ponencias en congresos:
A Constraint-Based Approach to Quality Assurance in Service Choreographies
Año:2012
Áreas de investigación
  • Ingenierías
Datos
Descripción
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, multi-participant 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.
Internacional
Si
Nombre congreso
10th International Conference on Service Oriented Computing
Tipo de participación
960
Lugar del congreso
Shanghai, China
Revisores
Si
ISBN o ISSN
978-3-642-34320-9
DOI
10.1007/978-3-642-34321-6_17
Fecha inicio congreso
12/11/2012
Fecha fin congreso
15/11/2012
Desde la página
252
Hasta la página
267
Título de las actas
Service-Oriented Computing - 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings
Esta actividad pertenece a memorias de investigación
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial