Using Automated Analysis of Temporal-Aware SLAs in Logistics

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


Service level agreements (SLAs) establish the terms in which a logistics service may be provided or consumed. During the last years we have been studying techniques to perform an automated analysis of expressive and realistic SLAs, which makes the agreement creation process easier for involved parties. Firstly, we extended WS-Agreement specification to allow to apply any type of validity periods to SLA terms. Later, we dealt with the automated analysis of SLAs by proposing the explaining of SLAs inconsistencies and non-compliance scenarios. In this paper we show how these contributions are necessary to enable a logistic scenario of package tracking by providing examples for each proposal. We also include a final discussion on the convenience of performing a merge of all contributions to enable a better application of SLAs to logistic scenarios.


Supply Chain Automate Analysis Service Level Agreement Constraint Satisfaction Problem Validity Period 
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.


  1. 1.
    Andrieux, et al. of the OGF Grid Resource Allocation Agreement Protocol WG. Web Services Agreement Specification (WS-Agreement), v. gfd.107 (2007)Google Scholar
  2. 2.
    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
  3. 3.
    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
  4. 4.
    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
  5. 5.
    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
  6. 6.
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Carlos Müller
    • 1
  • Manuel Resinas
    • 1
  • Antonio Ruiz-Cortés
    • 1
  1. 1.Dpto. Lenguajes y Sistemas Informáticos ETS. Ingeniería InformáticaUniversidad de Sevilla, Spain - EspañaSevillaEspaña

Personalised recommendations