Explaining the Non-compliance between Templates and Agreement Offers in WS-Agreement

  • Carlos Müller
  • Manuel Resinas
  • Antonio Ruiz-Cortés
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5900)


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.


Service Level Agreement SLA WS-Agreement Compliance Checking Debugging Quality of Service Explanations 


  1. 1.
    Aiello, M., Frankova, G., Malfatti, D.: What’s in an Agreement? An Analysis and an Extension of WS-Agreement. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 424–436. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  2. 2.
    Alrifai, M., Risse, T.: Combining global optimization with local selection for efficient qos-aware service composition. In: 18th WWW Conf., p. 881 (2009)Google Scholar
  3. 3.
    Buscemi, M.G., Montanari, U.: Cc-pi: A constraint-based language for specifying service level agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 18–32. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  4. 4.
    Chen, C., Li, L., Wei, J.: Aop based trustable sla compliance monitoring for web services, October 2007, pp. 225–230 (2007)Google Scholar
  5. 5.
    Andrieux, et al.: OGF Grid Resource Allocation Agreement Protocol WG. Web Services Agreement Specification (WS-Agreement), v. gfd.107 (2007)Google Scholar
  6. 6.
    Grimes, D.: Automated within-problem learning for constraint satisfaction problems (2008)Google Scholar
  7. 7.
    Hasan, Stiller, B.: Auric: A scalable and highly reusable sla compliance auditing framework, pp. 203–215 (2007)Google Scholar
  8. 8.
    Jussien, N., Barichard, V.: The PaLM system: explanation-based constraint programming. In: Proceedings of TRICS, pp. 118–133 (2000)Google Scholar
  9. 9.
    Lazovik, A., Aiello, M., Gennari, R.: Encoding requests to web service compositions as constraints. In: van Beek, P. (ed.) CP 2005. LNCS, vol. 3709, pp. 782–786. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  10. 10.
    Lazovik, A., Aiello, M., Gennari, R.: Choreographies: using constraints to satisfy service requests, February 2006, p. 150 (2006)Google Scholar
  11. 11.
    Lecoutre, C., Sais, L., Tabary, S., Vidal, V.: Recording and minimizing nogoods from restarts. JSAT 1(3-4), 147–167 (2007)Google Scholar
  12. 12.
    Ludwig, A., Francyk, B.: COSMA - An Approach for Managing SLAs in Composite Services. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 626–632. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  13. 13.
    Martín-Díaz, O., Ruiz-Cortés, A., Durán, A., Müller, C.: An approach to temporal-aware procurement of web services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 170–184. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  14. 14.
    Müller, C., Martín-Díaz, O., Ruiz-Cortés, A., Resinas, M., Fernández, P.: Improving Temporal-Awareness of WS-Agreement. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 193–206. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  15. 15.
    Müller, C., Ruiz-Cortés, A., Resinas, M.: An Initial Approach to Explaining SLA Inconsistencies. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 394–406. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  16. 16.
    Oldham, N., Verma, K., Sheth, A., Hakimpour, F.: Semantic WS-Agreement Partner Selection. In: 15th International WWW Conf., pp. 697–706. ACM Press, New York (2006)Google Scholar
  17. 17.
    Ouis, S., Tounsi, M.: An explanation-based tools for debugging constraint satisfaction problems. Applied Soft Computing 8(4), 1400–1406 (2008)CrossRefGoogle Scholar
  18. 18.
    Rana, O.F., Warnier, M., Quillinan, T.B., Brazier, F., Cojocarasu, D.: Managing violations in service level agreements, pp. 349–358 (2008)Google Scholar
  19. 19.
    Ruiz-Cortés, A., Martín-Díaz, O., Durán, A., Toro, M.: Improving the Automatic Procurement of Web Services using Constraint Programming. Int. Journal on Cooperative Information Systems 14(4) (2005)Google Scholar
  20. 20.
    Schiex, T., Verfaillie, G.: Nogood recording for static and dynamic constraint satisfaction problems. In: Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, TAI 1993, November 8-11, pp. 48–55 (1993)Google Scholar
  21. 21.
    Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, London (1995)Google Scholar
  22. 22.
    Xiao, H., Chan, B., Zou, Y., Benayon, J.W., O’Farrell, B., Litani, E., Hawkins, J.: A framework for verifying sla compliance in composed services, September 2008, pp. 457–464 (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Carlos Müller
    • 1
  • Manuel Resinas
    • 1
  • Antonio Ruiz-Cortés
    • 1
  1. 1.Dpto. Lenguajes y Sistemas InformáticosETS. Ingeniería Informática - Universidad de Sevilla (Spain - España)SevillaSpain - España

Personalised recommendations