RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium
A UML Profile and a Methodology for Real-Time Systems Design
EUROMICRO '06 Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
Interacting services: From specification to execution
Data & Knowledge Engineering
Monitoring, Prediction and Prevention of SLA Violations in Composite Services
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
GLIMPSE: a generic and flexible monitoring infrastructure
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Dynamic QoS Management and Optimization in Service-Based Systems
IEEE Transactions on Software Engineering
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Yet another meta-model to specify non-functional properties
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
Proceedings of the 9th international conference on Service-Oriented Computing
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Constraint-Based runtime prediction of SLA violations in service orchestrations
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Monere: monitoring of service compositions for failure diagnosis
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
QoS-Driven proactive adaptation of service composition
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
PRISM: a tool for automatic verification of probabilistic systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
MOSES: A Framework for QoS Driven Runtime Adaptation of Service-Oriented Systems
IEEE Transactions on Software Engineering
Adequate monitoring of service compositions
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
| Hi-index | 0.00 |
Service choreographies specify the intended interaction protocol among a set of cooperating services at the business application level. For end-users the non-functional properties exposed by a choreographed service composition can be as important as its functional behaviour, if not even more. Therefore, in any choreography development process, the capability of specifying and assessing the established Service Level Agreements (SLAs) becomes a crucial requisite. However, by their very nature, choreography requirements can be quite abstract and may on purpose avoid formalizing non-functional properties for every step of each individual service, nonetheless the overall QoS choreography will be affected by them. In this paper, we propose a monitor enhanced with the capability to detect potential deviations from a choreography-prescribed QoS level, based on the observed non-functional behaviour of the contributing services. Such an apprehensive monitor, as we call it, can thus contribute to predict SLA violations in due time for taking useful counter-measures, and not only detect them after they have occurred. We illustrate the feasibility of the approach on a use-case from the European Project CHOReOS.