Abstract
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.
This work has been partially supported by the European Commission (FEDER), Spanish Government under the CICYT projects Web-Factories (TIN2006-00472), and SETI (TIN2009-07366); and project P07-TIC-2533 funded by the Andalusian local Government.
Chapter PDF
Similar content being viewed by others
Keywords
References
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)
Alrifai, M., Risse, T.: Combining global optimization with local selection for efficient qos-aware service composition. In: 18th WWW Conf., p. 881 (2009)
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)
Chen, C., Li, L., Wei, J.: Aop based trustable sla compliance monitoring for web services, October 2007, pp. 225–230 (2007)
Andrieux, et al.: OGF Grid Resource Allocation Agreement Protocol WG. Web Services Agreement Specification (WS-Agreement), v. gfd.107 (2007)
Grimes, D.: Automated within-problem learning for constraint satisfaction problems (2008)
Hasan, Stiller, B.: Auric: A scalable and highly reusable sla compliance auditing framework, pp. 203–215 (2007)
Jussien, N., Barichard, V.: The PaLM system: explanation-based constraint programming. In: Proceedings of TRICS, pp. 118–133 (2000)
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)
Lazovik, A., Aiello, M., Gennari, R.: Choreographies: using constraints to satisfy service requests, February 2006, p. 150 (2006)
Lecoutre, C., Sais, L., Tabary, S., Vidal, V.: Recording and minimizing nogoods from restarts. JSAT 1(3-4), 147–167 (2007)
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)
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)
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)
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)
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)
Ouis, S., Tounsi, M.: An explanation-based tools for debugging constraint satisfaction problems. Applied Soft Computing 8(4), 1400–1406 (2008)
Rana, O.F., Warnier, M., Quillinan, T.B., Brazier, F., Cojocarasu, D.: Managing violations in service level agreements, pp. 349–358 (2008)
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)
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)
Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, London (1995)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Müller, C., Resinas, M., Ruiz-Cortés, A. (2009). Explaining the Non-compliance between Templates and Agreement Offers in WS-Agreement . In: Baresi, L., Chi, CH., Suzuki, J. (eds) Service-Oriented Computing. ServiceWave ICSOC 2009 2009. Lecture Notes in Computer Science, vol 5900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10383-4_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-10383-4_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10382-7
Online ISBN: 978-3-642-10383-4
eBook Packages: Computer ScienceComputer Science (R0)