This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Automated Analysis of Conflicts in WS-Agreement
PrePrint
ISSN: 1939-1374
Carlos Muller, University of Seville, Sevilla
Manuel Resinas, University of Seville, Sevilla
Antonio Ruiz-Cortes, University of Seville, Sevilla
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.
Index Terms:
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
Citation:
Carlos Muller, Manuel Resinas, Antonio Ruiz-Cortes, "Automated Analysis of Conflicts in WS-Agreement," IEEE Transactions on Services Computing, 26 Aug. 2013. IEEE computer Society Digital Library. IEEE Computer Society, <http://doi.ieeecomputersociety.org/10.1109/TSC.2013.9>
Usage of this product signifies your acceptance of the Terms of Use.