{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:16:53Z","timestamp":1729642613274,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/acsd.2008.4574613","type":"proceedings-article","created":{"date-parts":[[2010,12,8]],"date-time":"2010-12-08T09:27:32Z","timestamp":1291800452000},"page":"208-213","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic semantics of OWL-S in CSP-OZ"],"prefix":"10.1109","author":[{"family":"Ping Gong","sequence":"first","affiliation":[]},{"family":"Keqing He","sequence":"additional","affiliation":[]},{"family":"Jian Wang","sequence":"additional","affiliation":[]},{"family":"Zaiwen Feng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Combination and Implementation of Processes and Data: From CSPOZ to Java","year":"2000","author":"fischer","key":"ref10"},{"key":"ref11","first-page":"318","article-title":"Con-current execution semantics of daml-s with subtypes","author":"ankolekar","year":"2002","journal-title":"ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/511455.511457"},{"key":"ref13","article-title":"A compositional semantics for OWL-S","volume":"3670","author":"norton","year":"2005","journal-title":"Proc 2PndP Intl Workshop on Web Services and Formal Methods (WS-FM 05)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76993-4_20"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9"},{"article-title":"The Theory and Practice of Concurrency","year":"1997","author":"roscoe","key":"ref16"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/BFb0027284","article-title":"The Z\/EVES system.","volume":"1212","author":"saaltink","year":"1997","journal-title":"ZUM 97 The Z Formal Specification Notation"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0042-7"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-006-0157-6"},{"key":"ref3","article-title":"Meta-modeling of Requirement for Networked Software-An Open Hierarchical & Cooperative Unified Requirement Framework URF, Software Engineering and Complex Network","author":"he","year":"2007","journal-title":"DCDIS Series B special issue"},{"journal-title":"OWL-S Semantic Markup for Web Services","year":"2006","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/GCC.2007.84"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0851-1_17"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35271-8_31"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-007-0031-2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2005.21"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/978-3-540-49676-2_2","article-title":"How to combine Z with a process algebra","volume":"1493","author":"fischer","year":"1998","journal-title":"ZUM 97 The Z Formal Specification Notation"}],"event":{"name":"2008 8th International Conference on Application of Concurrency to System Design","start":{"date-parts":[[2008,6,23]]},"location":"Xian, China","end":{"date-parts":[[2008,6,27]]}},"container-title":["2008 8th International Conference on Application of Concurrency to System Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4562770\/4574586\/04574613.pdf?arnumber=4574613","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T12:59:23Z","timestamp":1497877163000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4574613\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/acsd.2008.4574613","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}