Carlos Muller , University of Seville, Sevilla
Antonio Ruiz-Cortes , University of Seville, Sevilla
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSC.2013.9
WS-Agreement is one of the most widely used SLA specifications. An advantage of WS-Agreement over other agreement metamodels is that it allows one to define conditional and optional term sets inside an agreement document, which are commonly found features in real-world agreements. Unfortunately, they increase the complexity of the automated detection and explanation of conflicts between SLA terms, leading to new kind of conflicts that are not supported by current techniques. Furthermore, creating a general-purpose conflict analyser in WS-Agreement is a hard task since it should understand the semantics of an unbounded number of languages that can be used in the eight extension points that WS-Agreement includes for the sake of flexibility. In this article we address these issues by providing 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. In pursuing these results, we defined some WS-Agreement concepts as well as a fully-fledged WS-Agreement-compliant language. The developed technique and its reference implementation have been thoroughly validated.
Semantics, Proposals, Complexity theory, Context, Measurement, XML, Government, System Management, Semantics, Proposals, Complexity theory, Context, Measurement, XML, Government, Quality assurance, Information Technology and Systems, Information Storage and Retrieval, Online Information Services, Web-based services, Software/Software Engineering, Programming Languages, Language Classifications, Constraint and logic languages, Formal methods, Software/Program Verification, Software Engineering, Computing Milieux, Management of Computing and Information Systems
Carlos Muller, Antonio Ruiz-Cortes, "Automated Analysis of Conflicts in WS-Agreement", IEEE Transactions on Services Computing, , no. 1, pp. 1, PrePrints PrePrints, doi:10.1109/TSC.2013.9