The discoveries of continuations
Lisp and Symbolic Computation - Special issue on continuations—part I
Distributed and Parallel Databases
Constraint Processing
YAWL: yet another workflow language
Information Systems
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
Monitoring and Analyzing Influential Factors of Business Process Performance
EDOC '09 Proceedings of the 2009 IEEE International Enterprise Distributed Object Computing Conference (edoc 2009)
Towards Data-Aware QoS-driven Adaptation for Service Orchestrations
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
Runtime prediction of service level agreement violations for composite services
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Robust Execution of Service Workflows Using Redundancy and Advance Reservations
IEEE Transactions on Services Computing
An overview of ciao and its design philosophy
Theory and Practice of Logic Programming - Prolog Systems
A constraint-based approach to quality assurance in service choreographies
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
A causal model to predict the effect of business process evolution on quality of service
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Apprehensive QoS monitoring of Service choreographies
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Adequate monitoring of service compositions
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Hi-index | 0.00 |
Service compositions put together loosely-coupled component services to perform more complex, higher level, or cross-organizational tasks in a platform-independent manner. Quality-of-Service (QoS) properties, such as execution time, availability, or cost, are critical for their usability, and permissible boundaries for their values are defined in Service Level Agreements (SLAs). We propose a method whereby constraints that model SLA conformance and violation are derived at any given point of the execution of a service composition. These constraints are generated using the structure of the composition and properties of the component services, which can be either known or empirically measured. Violation of these constraints means that the corresponding scenario is unfeasible, while satisfaction gives values for the constrained variables (start / end times for activities, or number of loop iterations) which make the scenario possible. These results can be used to perform optimized service matching or trigger preventive adaptation or healing.