{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,28]],"date-time":"2026-09-28T00:07:27Z","timestamp":1790554047905,"version":"4.1.0"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T00:00:00Z","timestamp":1396310400000},"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":[[2014,4]]},"DOI":"10.1109\/tase.2013.2253552","type":"journal-article","created":{"date-parts":[[2013,5,2]],"date-time":"2013-05-02T05:47:30Z","timestamp":1367473650000},"page":"594-606","source":"Crossref","is-referenced-by-count":83,"title":["Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets"],"prefix":"10.1109","volume":"11","author":[{"given":"Yanhua","family":"Du","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wei","family":"Tan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","first-page":"156","article-title":"Pattern based property specification and verification for service composition","author":"yu","year":"2006","journal-title":"Proc Int Conf WISE"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2006.93"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CSSE.2008.1073"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.923056"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-39388-9_3"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.05.033"},{"key":"ref37","first-page":"1733","article-title":"Towards composition as a service?A quality of service driven approach","author":"rosenberg","year":"0","journal-title":"Proc Int Conf ICDE"},{"key":"ref36","first-page":"62","article-title":"Constraint-based runtime prediction of SLA violations in service orchestrations","author":"ivanovi","year":"2011","journal-title":"Proc Int Conf ICSOC"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2010.06.008"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICMeCG.2009.38"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2116003"},{"key":"ref40","first-page":"139","article-title":"Specification-based verification and validation of web services and service-oriented operating systems","author":"tsai","year":"2005","journal-title":"Proc Int Conf WORDS"},{"key":"ref11","first-page":"15","article-title":"Modeling and analysis of time-related properties in web service compositions","author":"kazhamiakin","year":"2005","journal-title":"Proc Int Conf WESC"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.07.035"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.042"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.07.038"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2010.28"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISME.2010.87"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2009.5332007"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1734229.1734230"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.matcom.2005.11.003"},{"key":"ref4","first-page":"62","article-title":"Process-level composition of executable Web services: ?on-the-fly? versus ?once-for-all? composition","author":"pistore","year":"2005","journal-title":"Proc Int Conf ESWC"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.816214"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1963405.1963516"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2009.13"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"5-51","DOI":"10.1023\/A:1022883727209","article-title":"Workflow patterns","volume":"14","author":"van der aalst","year":"2003","journal-title":"Distrib Parallel Databases"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2010.57"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.916747"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.11.002"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2037018"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.elerap.2004.09.003"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2093884"},{"key":"ref20","first-page":"39","article-title":"On temporal abstractions of web service protocols","author":"benatallah","year":"2005","journal-title":"Proc Int Conf CAiSE"},{"key":"ref22","first-page":"57","article-title":"Fully-automatic translation of open workflow net models into simple abstract BPEL processes","author":"lohmann","year":"2008","journal-title":"Proc Int Conf Modellierung"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.07.006"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1002\/9781118554609"},{"key":"ref24","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 Knowl Eng\/"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/11596141_7"},{"key":"ref23","first-page":"417","article-title":"Translating standard process models to BPEL","author":"ouyang","year":"2006","journal-title":"Proc Int Conf CAiSE"},{"key":"ref44","author":"zhou","year":"1998","journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875448"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2204741"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.67597"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8856\/6782661\/06512068.pdf?arnumber=6512068","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:17:17Z","timestamp":1642004237000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6512068\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":44,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tase.2013.2253552","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4]]}}}