Abstract-Several service-based systems quality assurance proposals 147 that aggregate monitoring and analysis facilities can be found 148 in the literature. To conduct the search of the related work, we 149 have revised the most relevant conferences and journals in the 150 area, selecting those papers that were scoped in the field of 151 SLA monitoring and analysis. Furthermore, we have increased 152 the results by adding relevant papers obtained from experts in 153 the field. Table I summarizes the results of this study.
154We have examined the selected papers under the four factors 155 described in the introduction. The first three factors fall into 156 the functionality of the proposed solution, whereas the fourth 157 factor falls into its architecture.
158Functionality. Considering the three factors for functionality 159 identified in the introduction, we focus on the following issues: 160 (1) Which SLAs are supported, (2a) How the information 161 to configure the monitor is specified, (2b) How the QoS 162 monitoring result is specified and (3) How the violations are 163 explained.
164Architecture. The issues arising from this factor are: (4a) 165 Which architectural elements are needed and (4b) How the 166 architectural elements are structured.
167We analyse these issues below:
Abstract-WS-Agreement is one of the most widely used 1 SLA specifications. An advantage of WS-Agreement over 2 other agreement metamodels is that it allows one to define con-3 ditional and optional term sets inside an agreement document, 4 which are commonly found features in real-world agreements.
An SLA signed by all interested parties must be created carefully, avoiding contradictions between terms, because their terms could carry penalties in case of failure. However, this consistency checking may become a challenging task depending on the complexity of the agreement. As a consequence, an automated way of checking the consistency of an SLA document and returning the set of inconsistent terms of the agreement would be very appealing from a practical point of view. For instance, it enables the development of software tools that make the creation of correct SLAs and the consistency checking of imported SLAs easier for users. In this paper, we present the problem of explaining WSAgreement inconsistencies as a constraint satisfaction problem (CSP), and then we use a CSP solver together with an explanation engine to check the consistency and return the inconsistent terms. Furthermore, a proof-of-concept using Choco solver in conjunction with the Palm explanation engine has been developed.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.