{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:56:32Z","timestamp":1750298192130,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icws.2004.1314810","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"756-760","source":"Crossref","is-referenced-by-count":12,"title":["A CP-nets-based design and verification framework for Web services composition"],"prefix":"10.1109","author":[{"family":"Xiaochuan Yi","sequence":"first","affiliation":[]},{"given":"K.J.","family":"Kochut","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0097770","article-title":"Application of Petri nets to communication networks: Advances in Petri nets","author":"billington","year":"1999","journal-title":"Lecture Notes in Computer Science"},{"key":"18","article-title":"Cl: A language for formally defining Web services interactions, HP laboratories Palo Alto","author":"fr\ufffdlund","year":"2003","journal-title":"HPL-2003-208"},{"key":"15","article-title":"A framework for Web services composition design and verification","author":"yi","year":"0","journal-title":"UGA Computer Science Technical Report"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.52775"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240303"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775210"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"journal-title":"Specification Business Process Execution Language for Web Services Version 1 1","year":"2003","key":"3"},{"journal-title":"W3C Note","article-title":"Web services conversation language 1.0","year":"2002","key":"2"},{"journal-title":"W3C Note","article-title":"Web services description language (WSDL) 1.1","year":"2001","key":"1"},{"journal-title":"CPN Tools","year":"0","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"6","article-title":"Communication with automata","author":"petri","year":"1966","journal-title":"Griffiss Air Force Base Tech Report"},{"journal-title":"Developing Enterprise Web Services An architect's guide","year":"2004","author":"chatterjee","key":"5"},{"journal-title":"W3C Note","article-title":"Web service choreography interface (WSCI) 1.0","year":"2002","key":"4"},{"key":"9","volume":"1 3","author":"jensen","year":"1996","journal-title":"Colored Petri Nets Basic Concepts Analysis Methods and Practical Use Volume 1 2 and 3 Second Edition"},{"journal-title":"Petri Net Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"8"}],"event":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","start":{"date-parts":[[2004,7,9]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2004,7,9]]}},"container-title":["Proceedings. IEEE International Conference on Web Services, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9185\/29136\/01314810.pdf?arnumber=1314810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:52:42Z","timestamp":1497613962000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1314810\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icws.2004.1314810","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}