{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:15:57Z","timestamp":1725563757366},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/sose.2011.6139125","type":"proceedings-article","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T21:50:17Z","timestamp":1328046617000},"page":"335-340","source":"Crossref","is-referenced-by-count":0,"title":["Checking compatibility of context-aware service protocols"],"prefix":"10.1109","author":[{"given":"Chushu","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1207\/S15327051HCI16234_02"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2009.61"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.37.5"},{"key":"ref13","first-page":"15","article-title":"When are two web services compatible?","author":"bordeaux","year":"2004","journal-title":"Proc 5th International Workshop on Technologies for E-Services (TES 04)"},{"key":"ref14","article-title":"On temporal abstractions of web service protocols","author":"benatallah","year":"2005","journal-title":"The 17th Conference on Advanced Information Systems Engineering (CAiSE '05) Short Paper Proceedings"},{"key":"ref15","first-page":"599","article-title":"Fine-grained compatibility and replaceability analysis of timed web service protocols","author":"ponge","year":"2007","journal-title":"the 26th International Conference on Conceptual Modeling (ER 07) LNCS 4801"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.30.5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453136"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.07.006"},{"key":"ref3","first-page":"516","article-title":"Generating interface grammars from WSDL for automated verification of web services","author":"halle","year":"2009","journal-title":"Service-Oriented Computing 7th International Joint Conference ICSOC-Service Wave 2009"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2011.79"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2010.102"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2009.42"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02144-2_30"},{"key":"ref2","first-page":"159","article-title":"An automatic approach to enable replacement of conversational services","author":"cavallaro","year":"2009","journal-title":"Service-Oriented Computing 7th International Joint Conference ICSOC-ServiceWave 2009"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595719"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17358-5_47"}],"event":{"name":"2011 IEEE 6th International Symposium on Service Oriented System Engineering (SOSE)","start":{"date-parts":[[2011,12,12]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2011,12,14]]}},"container-title":["Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6132474\/6139076\/06139125.pdf?arnumber=6139125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T19:22:00Z","timestamp":1490124120000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6139125\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/sose.2011.6139125","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}