{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:19:38Z","timestamp":1730297978306,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/sose.2011.6139097","type":"proceedings-article","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T21:50:17Z","timestamp":1328046617000},"page":"93-101","source":"Crossref","is-referenced-by-count":6,"title":["Unified management of control flow and data mismatches in web service composition"],"prefix":"10.1109","author":[{"given":"Syed Adeel","family":"Ali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha","family":"Roop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Warren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zeeshan","family":"Ejaz Bhatti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2007.47"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/WI.2007.100"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022407907596"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2009.8"},{"key":"ref15","volume":"1 1","author":"andrews","year":"2003","journal-title":"BPEL4WS Business process execution language for web services"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bth361"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s007780100057"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/511446.511532"},{"journal-title":"D13 3v0 2 WSMX Data Mediation","year":"2005","author":"mocan","key":"ref19"},{"key":"ref4","article-title":"Automated techniques for formal verification of SoCs","author":"sinha","year":"2009","journal-title":"Ph D Dissertation"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/309844.309849"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090644"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(85)90001-7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36189-8_15"},{"key":"ref7","article-title":"Web services description language (WSDL) version 2.0 part 1: Core language","author":"moreau","year":"2006","journal-title":"W3C Candidate Recommendation"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICIW.2007.71"},{"key":"ref9","first-page":"43","article-title":"Automatic composition of e-services that export their behavior","volume":"2910","author":"berardi","year":"2003","journal-title":"In Proc 1st Int Conf on Service Oriented Computing (ICSOC)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.58"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICIW.2009.15"},{"article-title":"The semantic web","year":"2009","author":"berners-lee","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2006.124"},{"key":"ref24","article-title":"web service use case: travel reservation","author":"haas","year":"2002","journal-title":"W3C"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264284"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1097\/00005082-200701000-00006"}],"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\/06139097.pdf?arnumber=6139097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T19:52:25Z","timestamp":1490125945000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6139097\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/sose.2011.6139097","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}