{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:11:52Z","timestamp":1773148312055,"version":"3.50.1"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/pesos.2012.6225938","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:53Z","timestamp":1341869093000},"page":"43-49","source":"Crossref","is-referenced-by-count":9,"title":["SALMonADA: A platform for monitoring and explaining violations of WS-agreement-compliant documents"],"prefix":"10.1109","author":[{"given":"C.","family":"Muller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Oriol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Rodriguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"X.","family":"Franch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Marco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Resinas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Ruiz-Cortes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2011.81"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001225"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1367497.1367607"},{"key":"23","first-page":"394","article-title":"An Initial Approach to Explaining SLA Inconsistencies","author":"mu?ller","year":"2008","journal-title":"Proc of the 6th Int Conf on Service-Oriented Computing (ICSOC)"},{"key":"18","year":"2007","journal-title":"Standardized Technical Architecture Modeling Conceptual and Design Level Version 1 0"},{"key":"24","first-page":"237","article-title":"Explaining the Non-Compliance between Templates and Agreement Offers in WS-Agreement*","author":"mu?ller","year":"2009","journal-title":"Proc of the 7th International Conference on Service-Oriented Computing (ICSOC)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19394-1_8"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16132-2_37"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-78446-5_23"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774591"},{"key":"11","article-title":"Web Services Agreement Specification (WS-Agreement) (v. gfd-r.192)","author":"andrieux","year":"2011","journal-title":"Grid Resource Allocation Agreement Protocol WG"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.26"},{"key":"21","author":"tsang","year":"1995","journal-title":"Foundations of Constraint Satisfaction"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2010.77"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2012.25"},{"key":"2","first-page":"57","article-title":"The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services","volume":"11","author":"keller","year":"2003","journal-title":"Network"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.431.0136"},{"key":"10","article-title":"A Framework to Analyse WS-Agreement Documents","author":"mu?ller","year":"2010","journal-title":"Proc of the 4th Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing (NFPSLAM-SOC'10)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72912-9_10"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1657755.1657756"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2009.47"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277174"},{"key":"9","first-page":"19","article-title":"Monitoring adaptable soa-systems using salmon","author":"oriol","year":"2008","journal-title":"Workshop on Service Monitoring Adaptation and beyond (Mona+)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843006001384"}],"event":{"name":"2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)","location":"Zurich, Switzerland","start":{"date-parts":[[2012,6,4]]},"end":{"date-parts":[[2012,6,4]]}},"container-title":["2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6219097\/6225929\/06225938.pdf?arnumber=6225938","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T20:04:42Z","timestamp":1490126682000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6225938\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/pesos.2012.6225938","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}