Carlos Müller

TL;DR: A comprehensive solution is proposed, from a conceptual reference model to its design and implementation, that overcomes drawbacks of existing SLAs and is satisfactory enough to consider SALMonADA for SLA supervision because of its low intrusiveness.

TL;DR: This article provides a conflict classification for SLAs that includes new conflicts derived from the use of conditional and optional term sets; and a novel language-agnostic technique based on constraint satisfaction problems to automatically detect and explain these conflicts.

TL;DR: This paper proposes an extension that givesWS-Ag support to temporality, which allows describing expressive validity periods such as those composed by several periodic or non-periodic intervals and it applies not only to the agreement terms themselves but also to other parts of WS-Ag such as creation constraints and preferences about the service properties.

TL;DR: A constraint–based approach to temporal–aware WSP using constraints allows a great deal of expressiveness, so that not only demands and offers can be assigned validity periods but also their conditions can be assign (possibly multiple) validity temporal subintervals.

TL;DR: This work proposes a general monitoring and analysis conceptual reference model and instantiated SALMonADA, a SBS that notifies the clients with violations and their causes in their own easy-to-understand specification terms and performs an early analysis notification that avoids delays in the client notification time when a violation takes place.