The discoveries of continuations
Lisp and Symbolic Computation - Special issue on continuations—part I
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constraint Processing
Constraint Logic Programming using Eclipse
Constraint Logic Programming using Eclipse
Principles of Constraint Programming
Principles of Constraint Programming
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Towards the Future Internet: A European Research Perspective
Towards the Future Internet: A European Research Perspective
Editorial: Introduction: Special Issue on Distributed Constraint Satisfaction
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Towards Data-Aware QoS-driven Adaptation for Service Orchestrations
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
Monitoring, Prediction and Prevention of SLA Violations in Composite Services
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
Sessions and session types: an overview
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Service research challenges and solutions for the future internet
Robust Execution of Service Workflows Using Redundancy and Advance Reservations
IEEE Transactions on Services Computing
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
Usage-Based Online Testing for Proactive Adaptation of Service-Based Applications
COMPSAC '11 Proceedings of the 2011 IEEE 35th Annual Computer Software and Applications Conference
Deciding choreography realizability
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraint-Based runtime prediction of SLA violations in service orchestrations
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Hi-index | 0.00 |
The knowledge about the quality characteristics (QoS) of service compositions is crucial for determining their usability and economic value; the quality of service compositions is usually regulated using Service Level Agreements (SLAs). While end-to-end SLAs are well suited for request-reply interactions, more complex, decentralized, multi-participant compositions (service choreographies) typically need multiple message exchanges between stateful parties and the corresponding SLAs thus involve several cooperating parties with interdependent QoS. The usual approaches to determining QoS ranges structurally (which are by construction easily composable) are not applicable in this scenario. 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 participant descriptions. Such models are based on a message typing system with size constraints and are derived using abstract interpretation. The models obtained have multiple uses including run-time prediction, adaptive participant selection, or design-time compliance checking. We also present an experimental evaluation and discuss the benefits of the proposed approach.