{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:51:12Z","timestamp":1725565872668},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219880"},{"type":"electronic","value":"9783540246794"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24679-4_168","type":"book-chapter","created":{"date-parts":[[2010,9,10]],"date-time":"2010-09-10T18:04:40Z","timestamp":1284141880000},"page":"1008-1011","source":"Crossref","is-referenced-by-count":1,"title":["Formalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net"],"prefix":"10.1007","author":[{"given":"Xiaofeng","family":"Tao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Changjun","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Chinnici, R., Gudgin, M., et al.: Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language (2003), \n                    \n                      http:\/\/www.w3.org\/TR\/wsdl12\/#Service","key":"168_CR1"},{"unstructured":"Tao, X.F., Jiang, C.J., Duan, J.T.: Construction of a Kind of Object-Oriented Petri Net and its Application. Mechanical Science and Technology\u00a022(5) (2003)","key":"168_CR2"},{"unstructured":"Andrews, T., Curbera, F., Dholakia, H., et al.: Specification: Business Process Execution Language for Web Services Version 1.1 (2003), \n                    \n                      http:\/\/www-106.ibm.com\/developerworks\/library\/ws-bpel","key":"168_CR3"},{"unstructured":"Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Proc. Fourteenth Australasian Database Conference (ADC 2003), vol.\u00a017 (2003)","key":"168_CR4"},{"issue":"4","key":"168_CR5","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"M. Tadao","year":"1989","unstructured":"Tadao, M.: Petri Nets: Properties,Analysis and Applications. Proceeding of IEEE\u00a077(4), 541\u2013560 (1989)","journal-title":"Proceeding of IEEE"}],"container-title":["Lecture Notes in Computer Science","Grid and Cooperative Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24679-4_168.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:01:38Z","timestamp":1620010898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24679-4_168"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219880","9783540246794"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24679-4_168","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}