The widespread use of SLA-regulated Cloud services, in which the violation of SLA terms may imply a penalty for the parties, have increased the importance and complexity of systems supporting the SLA lifecycle. Although these systems can be very different from each other, ranging from service monitoring platforms to auto-scaling solutions according to SLAs, they all share the need of having machine-processable and semantically valid SLAs. In this paper we present iAgree studio, the first application, up to our knowledge, that is able to edit and semantically validate agreement documents that are compliant with the WS---Agreement specification by checking properties such as its consistency, and the compliance between templates and agreement offers. In addition, it reports explanations when documents are not valid. Moreover, it allows users to combine the validation and explanation operations by means of a scenarios developer.
[1]
Manuel Resinas,et al.
Automated Analysis of Conflicts in WS-Agreement
,
2014,
IEEE Transactions on Services Computing.
[2]
Carlos Müller,et al.
Improving Temporal-Awareness of WS-Agreement
,
2007,
ICSOC.
[3]
Edward P. K. Tsang,et al.
Foundations of constraint satisfaction
,
1993,
Computation in cognitive science.
[4]
P ? ? ? ? ? ? ? % ? ? ? ?
,
1991
.
[5]
Xavier Franch,et al.
Comprehensive Explanation of SLA Violations at Runtime
,
2014,
IEEE Transactions on Services Computing.
[6]
Manuel Resinas,et al.
Explaining the Non-Compliance between Templates and Agreement Offers in WS-Agreement
,
2010,
JISBD.
[7]
Asit Dan,et al.
Web services agreement specification (ws-agreement)
,
2004
.