Choreographies: using Constraints to Satisfy Service Requests
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
Semantic WS-agreement partner selection
Proceedings of the 15th international conference on World Wide Web
AOP Based Trustable SLA Compliance Monitoring for Web Services
QSIC '07 Proceedings of the Seventh International Conference on Quality Software
An explanation-based tools for debugging constraint satisfaction problems
Applied Soft Computing
Improving Temporal-Awareness of WS-Agreement
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
A Framework for Verifying SLA Compliance in Composed Services
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
An Initial Approach to Explaining SLA Inconsistencies
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
COSMA --- An Approach for Managing SLAs in Composite Services
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Combining global optimization with local selection for efficient QoS-aware service composition
Proceedings of the 18th international conference on World wide web
CC-Pi: a constraint-based language for specifying service level agreements
ESOP'07 Proceedings of the 16th European conference on Programming
AURIC: a scalable and highly reusable SLA compliance auditing framework
DSOM'07 Proceedings of the Distributed systems: operations and management 18th IFIP/IEEE international conference on Managing virtualization of networks and services
An approach to temporal-aware procurement of web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
What’s in an agreement?an analysis and an extension of WS-Agreement
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Using automated analysis of temporal-aware SLAs in logistics
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
WS-Governance: a policy language for SOA governance
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Hi-index | 0.00 |
A common approach to the process of reaching agreements is the publication of templates that guide parties to create agreement offers that are then sent for approval to the template publisher. In such scenario, a common issue the template publisher must address is to check whether the agreement offer received is compliant or not with the template. Furthermore, in the latter case, an automated explanation of the reasons of such non-compliance is very appealing. Unfortunately, although there are proposals that deal with checking the compliance, the problem of providing an automated explanation to the non-compliance has not yet been studied in this context. In this paper, we take a subset of the WS-Agreement recommendation as a starting point and we provide a rigorous definition of the explanation for the non-compliance between templates and agreement offers. Furthermore, we propose the use of constraint satisfaction problem (CSP) solvers to implement it and provide a proof-of-concept implementation. The advantage of using CSPs is that it allows expressive service level objectives inside SLAs.