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]


Abstract is missing.