iAgree Studio: A Platform to Edit and Validate WS–Agreement Documents
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.
KeywordsConstraint Satisfaction Problem Semantic Error Explanation Report Service Level Objective Constraint Satisfaction Problem Solver
- 1.Andrieux, et al.: Web Services Agreement Specification (WS-Agreement) (v. gfd-r.192). OGF - Grid Resource Allocation Agreement Protocol WG (2011)Google Scholar
- 3.Müller, C., Resinas, M., Ruiz-Cortés, A.: Automated Analysis of Conflicts in WS–Agreement Documents. IEEE Transactions on Services Computing (2013), http://dx.doi.org/10.1109/TSC.2013.9
- 4.Müller, C.: On the Automated Analysis of WS-Agreement Documents. Applications to the Processes of Creating and Monitoring Agreements. International Dissertation, Universidad de Sevilla (2013), http://www.isa.us.es/sites/default/files/muller-Phd-PTB.pdf
- 5.Tsang, E.: Foundations of Constraint Satisfaction. A. Press (1995)Google Scholar