Advertisement

iAgree Studio: A Platform to Edit and Validate WS–Agreement Documents

  • Carlos Müller
  • Antonio Manuel Gutiérrez
  • Manuel Resinas
  • Pablo Fernández
  • Antonio Ruiz-Cortés
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8274)

Abstract

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.

Keywords

Constraint Satisfaction Problem Semantic Error Explanation Report Service Level Objective Constraint Satisfaction Problem Solver 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Andrieux, et al.: Web Services Agreement Specification (WS-Agreement) (v. gfd-r.192). OGF - Grid Resource Allocation Agreement Protocol WG (2011)Google Scholar
  2. 2.
    Müller, C., Resinas, M., Ruiz-Cortés, A.: Explaining the Non-Compliance between Templates and Agreement Offers in WS-Agreement. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 237–252. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  3. 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. 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. 5.
    Tsang, E.: Foundations of Constraint Satisfaction. A. Press (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Carlos Müller
    • 1
  • Antonio Manuel Gutiérrez
    • 1
  • Manuel Resinas
    • 1
  • Pablo Fernández
    • 1
  • Antonio Ruiz-Cortés
    • 1
  1. 1.LSI, ISA research groupUniversity of SevilleSevilleSpain

Personalised recommendations