{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T22:36:21Z","timestamp":1777415781840,"version":"3.51.4"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icws.2004.1314766","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"420-427","source":"Crossref","is-referenced-by-count":37,"title":["WS-Net: a Petri-net based specification model for Web services"],"prefix":"10.1109","author":[{"family":"Jia Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.K.","family":"Chang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Jen-Yao Chung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.W.","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","year":"0"},{"key":"18","author":"mclaughlin","year":"2001","journal-title":"Java and XML"},{"key":"15","first-page":"436","article-title":"EDDA-A very high-level programming and specification language in the style of SADT","author":"trattnig","year":"1980","journal-title":"Proceedings of IEEE Annual InternationalComputer Software and Applications Conference (COMPSAC'80)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016599017660"},{"key":"13","year":"2002","journal-title":"\"Web Service Choreography Interface (WSCI) \" Version 1 0"},{"key":"14","author":"thatte","year":"2001","journal-title":"XLANG - Web Services for Business Process Design"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/32.385970"},{"key":"12","year":"0"},{"key":"3","first-page":"56","article-title":"The capability matching of web services","author":"gao","year":"2002","journal-title":"Proceedings of the IEEE International Symposium on Multimedia Software Engineering (MSE'02)"},{"key":"2","year":"1993","journal-title":"Design\/CPN Reference Manual for X-windows Version 2 0"},{"key":"1","first-page":"396","article-title":"I3: A petri-net based specification method for architectural components","author":"chang","year":"1999","journal-title":"Proceedings of IEEE 23th Annual International Computer Software and Applications Conference (COMPSAC'99)"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1985.1662862"},{"key":"7","article-title":"Coloured petri nets: A high level language for system design and analysis","author":"jensen","year":"1990","journal-title":"Lecture Notes in Computer Science Advances in Petri Nets"},{"key":"6","year":"2002","journal-title":"\"Business Process Execution Language for Web Services (BPEL4WS) \" Version 1 0"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44751-2_21","article-title":"Service representation, discovery and composition for E-marketplaces","author":"van den heuvel","year":"2001","journal-title":"Proceedings of the 6th International Conference on Cooperative Information Systems (COOPIS'01)"},{"key":"4","year":"2000","journal-title":"The American Heritage Dictionary of the English Language 4th Edition"},{"key":"9","first-page":"227","article-title":"An integrated software development methodology based on hierarchical colored petri nets","author":"pinci","year":"1990","journal-title":"Advances in Petri Nets Lecture Notes in Computer Science"},{"key":"8","author":"leymann","year":"2001","journal-title":"Web Services Flow Language (WSFL 1 0)"}],"event":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","location":"San Diego, CA, USA","start":{"date-parts":[[2004,7,9]]},"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\/01314766.pdf?arnumber=1314766","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:52:42Z","timestamp":1497599562000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1314766\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icws.2004.1314766","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}