The Munich Project CIP: Volume I: the wide spectrum language CIP-L
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
Event-Driven Quality of Service Prediction
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions
Advances in Software Engineering
Building Accountability Middleware to Support Dependable SOA
IEEE Internet Computing
A framework for QoS-based Web service contracting
ACM Transactions on the Web (TWEB)
Towards the Future Internet: A European Research Perspective
Towards the Future Internet: A European Research Perspective
Reasoning on Non-Functional Requirements for Integrated Services
RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE
Exploiting assumption-based verification for the adaptation of service-based applications
Proceedings of the 2010 ACM Symposium on Applied Computing
An empirical comparison of methods to support QoS-aware service selection
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
Distributed QoS Evaluation for Real-World Web Services
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
Towards Data-Aware QoS-driven Adaptation for Service Orchestrations
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
Using Complex Event Processing for Dynamic Business Process Adaptation
SCC '10 Proceedings of the 2010 IEEE International Conference on Services Computing
Runtime prediction of service level agreement violations for composite services
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Building dynamic models of service compositions with simulation of provision resources
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Service research challenges and solutions for the future internet: S-cube - towards engineering, managing and adapting service-based systems
Towards accurate failure prediction for the proactive adaptation of service-oriented systems
Proceedings of the 8th workshop on Assurances for self-adaptive systems
A constraint-based approach to quality assurance in service choreographies
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Hi-index | 0.00 |
Service-based Applications (SBAs) will increasingly be deployed in highly distributed and dynamic settings. To a large extent this dynamicity is caused by the trend to increasingly compose SBAs using third-party services. Those services are provided by external organizations and are thus not under the control of the SBA provider. For critical application domains (such as emergency or financial) and important customers (such as key accounts), the SBA developer needs to ensure that each individual SBA instance will live up to its expected requirements even though its constituent, third-party services might fail. To prevent such requirements violations, SBAs should be equipped with monitoring, prediction and adaptation capabilities which are able to foresee and avert menacing violations. Several approaches exploiting preventive adaptations have been presented in the literature, but they rely on the existence of cost models or comprehensive training data that limit their applicability in practice. In this paper we present SPADE, an automated technique that addresses those limitations. Based on assumptions about the SBA's constituent services (derived from SLAs), SPADE formally verifies the SBA against its requirements during run-time. The experimental evaluation of SPADE, using data collected for six real services, demonstrates its practical applicability in predicting violations of performance requirements.