{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:24:43Z","timestamp":1730222683959,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ftdcs.2004.1316588","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"14-20","source":"Crossref","is-referenced-by-count":1,"title":["Introducing compositionality in web service descriptions"],"prefix":"10.1109","author":[{"given":"M.","family":"Solanki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Cau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Hussein Zedan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"The OWL-S Coalition OWL-S 1 0 (Beta) Draft Release","year":"2003","key":"17"},{"key":"18","article-title":"Automating DAML-S services composition using SHOP2","author":"wu","year":"2003","journal-title":"Proceedings of the 2nd International Semantic Web Conference"},{"key":"15","article-title":"A planner for composing services described in DAML-S","author":"sheshagiri","year":"2003","journal-title":"Proceedings of the AAMAS Workshop on Web Services and Agent-based Engineering"},{"journal-title":"The Semantic Web","year":"2000","author":"berners-lee","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/511455.511457"},{"journal-title":"Web Services Description Language (WSDL) Version 1 2","year":"2003","author":"chinnic","key":"14"},{"key":"11","first-page":"307","article-title":"Programming Concepts, Methods and Calculi","volume":"a 56","author":"moszkowski","year":"1994","journal-title":"IFIP Transactions"},{"key":"12","first-page":"439","article-title":"Compositionality: The significant difference","author":"moszkowski","year":"1996","journal-title":"Compositional Reasoning Using Interval Temporal Logic and Tempura"},{"key":"3","article-title":"Concurrent execution semantics for DAML-S with subtypes","author":"ankolekar","year":"2002","journal-title":"The First International Semantic Web Conference (ISWC)"},{"journal-title":"Business process execution language for web services version 1 0","year":"2002","author":"curbera","key":"2"},{"journal-title":"ITL and (Ana) Tempura Home Page on the Web","year":"0","key":"1"},{"journal-title":"Executing Temporal Logic Programs","year":"1986","author":"moszkowski","key":"10"},{"journal-title":"Web Service Choreography Interface (WSCI) 1 0 Specification","year":"2002","key":"7"},{"journal-title":"Concurrency Verification Introduction to Compositional and Noncompositional Methods","year":"2001","author":"de roever","key":"6"},{"journal-title":"Web Services Modelling Framework","year":"2002","author":"fensel","key":"5"},{"key":"4","first-page":"321","article-title":"J. CB. Specification and design of (parallel) programs","year":"1983","journal-title":"Proceedings of Information Processing'83"},{"key":"9","article-title":"Introducing compositionality in webservice descriptions","author":"solanki","year":"2003","journal-title":"3rd International Anwire Workshop on Adaptable Service Provision"},{"key":"8","first-page":"417","volume":"7","author":"misra","year":"1981","journal-title":"Proofs of Networks of Processes"}],"event":{"name":"Proceedings. 10th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2004. FTDCS 2004.","location":"Suzhou, China"},"container-title":["Proceedings. 10th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2004. FTDCS 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9202\/29177\/01316588.pdf?arnumber=1316588","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T13:43:26Z","timestamp":1489412606000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1316588\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ftdcs.2004.1316588","relation":{},"subject":[]}}