Towards a Formal Specification of SLAs with Compensations

Carlos Müller, Antonio Manuel Gutiérrez, Octavio Martín-Díaz, Manuel Resinas, Pablo Fernandez, Antonio Ruiz Cortés. Towards a Formal Specification of SLAs with Compensations. In Robert Meersman, Hervé Panetto, Tharam S. Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis, editors, On the Move to Meaningful Internet Systems: OTM 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014, Proceedings. Volume 8841 of Lecture Notes in Computer Science, pages 295-312, Springer, 2014. [doi]

@inproceedings{MullerGMRFC14,
  title = {Towards a Formal Specification of SLAs with Compensations},
  author = {Carlos Müller and Antonio Manuel Gutiérrez and Octavio Martín-Díaz and Manuel Resinas and Pablo Fernandez and Antonio Ruiz Cortés},
  year = {2014},
  doi = {10.1007/978-3-662-45563-0_17},
  url = {http://dx.doi.org/10.1007/978-3-662-45563-0_17},
  researchr = {https://researchr.org/publication/MullerGMRFC14},
  cites = {0},
  citedby = {0},
  pages = {295-312},
  booktitle = {On the Move to Meaningful Internet Systems: OTM 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, October 27-31, 2014, Proceedings},
  editor = {Robert Meersman and Hervé Panetto and Tharam S. Dillon and Michele Missikoff and Lin Liu and Oscar Pastor and Alfredo Cuzzocrea and Timos Sellis},
  volume = {8841},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-45562-3},
}