2021-12-142021-12-142016Müller Cejás, C. (2016). On the automated analysis of WS–Agreement documents: Applications to the processes of creating and monitoring agreements. AI Communications, 29 (1), 227-229.0921-7126https://hdl.handle.net/11441/128214The need for Service Level Agreements (SLAs) to supervise the consumption of services is increasing in business applications and Cloud scenarios due to the penalties that can apply for violation of SLA terms. Such a need for SLAs boosts the importance and complexity of SLA lifecycle supporting systems (SLA-driven solutions). In our work we propose to improve the current support to develop SLA-driven solutions by enhancing both, the SLA specifications and automated analysis techniques. Furthermore, we have applied our proposal to creating and monitoring agreement solutions.application/pdf3engAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Service level agreementsSLAAnalysisConstraint programmingOn the automated analysis of WS–Agreement documents: Applications to the processes of creating and monitoring agreementsinfo:eu-repo/semantics/articleinfo:eu-repo/semantics/openAccess10.3233/AIC-140648