{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:25:36Z","timestamp":1759134336721},"reference-count":23,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2012,4,1]],"date-time":"2012-04-01T00:00:00Z","timestamp":1333238400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/tase.2012.2188511","type":"journal-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T18:31:54Z","timestamp":1331145114000},"page":"429-435","source":"Crossref","is-referenced-by-count":49,"title":["A Petri Net Approach to Mediation-Aided Composition of Web Services"],"prefix":"10.1109","volume":"9","author":[{"given":"Yanhua","family":"Du","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xitong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PengCheng","family":"Xiong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.11.002"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SERA.2008.43"},{"key":"ref12","first-page":"731","article-title":"Protocol-aware matching of web service interfaces for adapter development","author":"nezhad","year":"2010","journal-title":"Proc Int Conf WWW"},{"key":"ref13","first-page":"229","article-title":"Diagnosing and measuring incompatibilities between pairs of services","author":"bachir","year":"2009","journal-title":"Proc 20th Int Conf DEXA"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1630"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.31"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/j.datak.2007.06.006","article-title":"Analyzing interacting WS-BPEL processes using flexible model generation","volume":"64","author":"niels","year":"2008","journal-title":"Data & Knowledge Engineering"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1093\/comjnl\/43.3.224","article-title":"Modular analysis of Petri nets","volume":"43","author":"sqren","year":"2000","journal-title":"The Computer Journal"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.11.008"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3724\/SP.J.1001.2010.03618"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549677"},{"key":"ref3","first-page":"191","article-title":"A Petri net-based model for Web service composition","author":"hamadi","year":"0","journal-title":"Proc Int Conf ADC 2003"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.2009103"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2004.1314806"},{"key":"ref8","author":"wang","year":"2008","journal-title":"Interface Adaptation for Conversational Services"},{"key":"ref7","first-page":"207","article-title":"Proof techniques for adapter generation","author":"mooij","year":"2008","journal-title":"Proc 5th Int Conf WS-FM"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2011.04.102"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.916747"},{"key":"ref1","first-page":"45","article-title":"Web service composition as planning","author":"carman","year":"2003","journal-title":"Proc Int Conf ICAPS"},{"key":"ref20","year":"2006","journal-title":"eBay Developers Program"},{"key":"ref22","year":"2005","journal-title":"PIPE"},{"key":"ref21","year":"2007","journal-title":"BPEL2oWNF"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2116003"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8856\/6177232\/06165390.pdf?arnumber=6165390","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T17:52:13Z","timestamp":1640281933000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6165390\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":23,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tase.2012.2188511","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,4]]}}}