{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:52:20Z","timestamp":1729641140330,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/compsac.2010.54","type":"proceedings-article","created":{"date-parts":[[2011,1,3]],"date-time":"2011-01-03T20:46:51Z","timestamp":1294087611000},"page":"468-476","source":"Crossref","is-referenced-by-count":5,"title":["A Petri Net-Based Method for Data Validation of Web Services Composition"],"prefix":"10.1109","author":[{"given":"Chunxiang","family":"Xu","sequence":"first","affiliation":[]},{"given":"Wanling","family":"Qu","sequence":"additional","affiliation":[]},{"given":"Hanpin","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Zizhen","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Xiaojuan","family":"Ban","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2006.05.007"},{"journal-title":"Formal Specification and Verification of Asynchronously Communicating Web Services","year":"2004","author":"fu","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.29"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/978-3-540-85571-2_13","article-title":"Data Flow-Based validation of Web Services compositions: perspectives and examples","author":"bartolini","year":"2008","journal-title":"Architecting Dependable Systems IV Lecture Notes in Computer Science"},{"key":"ref14","first-page":"207","article-title":"Data flow and validation in workflow modeling","volume":"27","author":"sadiq","year":"2004","journal-title":"15th Australasian Database Conference"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2007.22"},{"key":"ref16","article-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","volume":"1","author":"jensen","year":"1997","journal-title":"Springer-Verlag"},{"journal-title":"CPN ML","year":"0","key":"ref17"},{"journal-title":"XML Path Language (XPath)","year":"0","key":"ref18"},{"journal-title":"XML Schema","year":"0","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/NWESP.2005.77"},{"key":"ref3","article-title":"A Petri net semantic for BPEL4WS - validation and application","author":"schmidt","year":"2004","journal-title":"Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242704"},{"key":"ref5","first-page":"756","article-title":"A CP-nets-based design and verification framework for Web services composition","author":"yi","year":"2004","journal-title":"Proceedings of IEEE International Conference on Web Services"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287657"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240303"},{"key":"ref2","article-title":"Models and verification of BPEL","author":"breugel","year":"0","journal-title":"[Online] [Online] Available"},{"year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035202"},{"journal-title":"Web Services Definition Language (WSDL) 1 1","year":"0","key":"ref20"},{"key":"ref22","first-page":"94","article-title":"A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language","volume":"6","author":"wei","year":"2008","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2009.37"}],"event":{"name":"2010 IEEE 34th Annual Computer Software and Applications Conference - COMPSAC 2010","start":{"date-parts":[[2010,7,19]]},"location":"Seoul, Korea (South)","end":{"date-parts":[[2010,7,23]]}},"container-title":["2010 IEEE 34th Annual Computer Software and Applications Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5676249\/5676250\/05676297.pdf?arnumber=5676297","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T17:57:34Z","timestamp":1497895054000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5676297\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/compsac.2010.54","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}