{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:09Z","timestamp":1750308009472,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,5,23]],"date-time":"2006-05-23T00:00:00Z","timestamp":1148342400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,5,23]]},"DOI":"10.1145\/1135777.1135878","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"687-696","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["ASDL"],"prefix":"10.1145","author":[{"given":"Monika","family":"Solanki","sequence":"first","affiliation":[{"name":"De Montfort University, Leicester, UK"}]},{"given":"Antonio","family":"Cau","sequence":"additional","affiliation":[{"name":"De Montfort University, Leicester, UK"}]},{"given":"Hussein","family":"Zedan","sequence":"additional","affiliation":[{"name":"De Montfort University, Leicester, UK"}]}],"member":"320","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"149","volume-title":"Concrete Process Algebra","author":"Baeten J. C. M.","year":"1995","unstructured":"J. C. M. Baeten and C. Verhoef . Concrete Process Algebra , pages 149 -- 268 . Oxford University Press , Oxford, UK , 1995 .]] J. C. M. Baeten and C. Verhoef. Concrete Process Algebra, pages 149--268. Oxford University Press, Oxford, UK, 1995.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/954587.954588"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/322374.322380"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1109\/32.798321"},{"unstructured":"A. Cau. ITL and (Ana)Tempura Home page on the web. http:\/\/www.cse.dmu.ac.uk\/STRL\/ITL\/.]]  A. Cau. ITL and (Ana)Tempura Home page on the web. http:\/\/www.cse.dmu.ac.uk\/STRL\/ITL\/.]]","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","volume-title":"Parallel Program Design: A Foundation","author":"Chandy K. M.","year":"1988","unstructured":"K. M. Chandy and J. Misra . Parallel Program Design: A Foundation . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1988 .]] K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1988.]]"},{"key":"e_1_3_2_1_7_1","volume-title":"Web services description language (wsdl) version 2.0 part 1: Core language w3c working draft","author":"Chinnic R.","year":"2005","unstructured":"R. Chinnic , H. Haas , A. Lewis , J. J. Moreau , D. Orchard , and S. Weerawarana . Web services description language (wsdl) version 2.0 part 1: Core language w3c working draft 3 August 2005 , 2005. http:\/\/www.w3.org\/TR\/2005\/WD-wsdl20-20050803\/.]] R. Chinnic, H. Haas, A. Lewis, J. J. Moreau, D. Orchard, and S. Weerawarana. Web services description language (wsdl) version 2.0 part 1: Core language w3c working draft 3 August 2005, 2005. http:\/\/www.w3.org\/TR\/2005\/WD-wsdl20-20050803\/.]]"},{"key":"e_1_3_2_1_8_1","volume-title":"October","author":"M. Corporation","year":"1995","unstructured":"M. Corporation . The Component Object Model Specification , October 1995 . Draft Version 0.9.]] M. Corporation. The Component Object Model Specification, October 1995. Draft Version 0.9.]]"},{"key":"e_1_3_2_1_9_1","volume-title":"An Introduction to Timed CSP. Technical report","author":"Davies J.","year":"1989","unstructured":"J. Davies and S. Schneider . An Introduction to Timed CSP. Technical report , Oxford University , August 1989 .]] J. Davies and S. Schneider. An Introduction to Timed CSP. Technical report, Oxford University, August 1989.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_11_1","volume-title":"The common object request broker: Architecture and specification(corba)rev 3.0.2. omg technical document","author":"O. M. Group","year":"2004","unstructured":"O. M. Group (OMG). The common object request broker: Architecture and specification(corba)rev 3.0.2. omg technical document , 2004 .]] O. M. Group(OMG). The common object request broker: Architecture and specification(corba)rev 3.0.2. omg technical document, 2004.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/359576.359585"},{"key":"e_1_3_2_1_13_1","volume-title":"Communicating Sequential Processes","author":"Hoare C. A. R.","year":"1985","unstructured":"C. A. R. Hoare . Communicating Sequential Processes . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1985 .]] C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1985.]]"},{"key":"e_1_3_2_1_14_1","volume-title":"Languages, And Computation","author":"Hopcroft J. E.","year":"1990","unstructured":"J. E. Hopcroft and J. D. Ullman . Introduction To Automata Theory , Languages, And Computation . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1990 .]] J. E. Hopcroft and J. D. Ullman. Introduction To Automata Theory, Languages, And Computation. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1990.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/773153.773154"},{"key":"e_1_3_2_1_16_1","volume-title":"Chartwell-Bratt","author":"Imperato M.","year":"1991","unstructured":"M. Imperato . An Introduction to Z . Chartwell-Bratt , 1991 .]] M. Imperato. An Introduction to Z. Chartwell-Bratt, 1991.]]"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc Information Processing","author":"Kahn G.","year":"1974","unstructured":"G. Kahn . The Semantics of a Simple Language for Parallel Programming . Proc Information Processing , North Holland , 1974 .]] G. Kahn. The Semantics of a Simple Language for Parallel Programming. Proc Information Processing, North Holland, 1974.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/359545.359563"},{"issue":"10","key":"e_1_3_2_1_19_1","article-title":"Refinement of complex systems: a case study","volume":"38","author":"Zedan Lowe","year":"1995","unstructured":"Lowe and H. Zedan . Refinement of complex systems: a case study . The Computer Journal , 38 ( 10 ), 1995 .]] Lowe and H. Zedan. Refinement of complex systems: a case study. The Computer Journal, 38(10), 1995.]]","journal-title":"The Computer Journal"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/41840.41852"},{"key":"e_1_3_2_1_21_1","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989","unstructured":"R. Milner . Communication and Concurrency . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1989 .]] R. Milner. Communication and Concurrency. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1989.]]"},{"key":"e_1_3_2_1_22_1","volume-title":"the Pi-Calculus","author":"Milner R.","year":"1999","unstructured":"R. Milner . Communicating and Mobile Systems : the Pi-Calculus . Cambridge University Press , New York, NY, USA , 1999 .]] R. Milner. Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, New York, NY, USA, 1999.]]"},{"key":"e_1_3_2_1_23_1","series-title":"Lecture Notes for NATO summer school","volume-title":"Computation orchestration: A basis for wide-area computing","author":"Misra J.","year":"2004","unstructured":"J. Misra . Computation orchestration: A basis for wide-area computing . Lecture Notes for NATO summer school , 2004 .]] J. Misra. Computation orchestration: A basis for wide-area computing. Lecture Notes for NATO summer school, 2004.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.5555\/1030033.1030077"},{"key":"e_1_3_2_1_25_1","volume-title":"Executing Temporal Logic Programs","author":"Moszkowski B.","year":"1986","unstructured":"B. Moszkowski . Executing Temporal Logic Programs . Cambridge University Press , Cambridge, England , 1986 .]] B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986.]]"},{"key":"e_1_3_2_1_26_1","first-page":"307","volume-title":"IFIP Transactions, A-56","author":"Moszkowski B.","year":"1994","unstructured":"B. Moszkowski . Programming Concepts, Methods and Calculi , IFIP Transactions, A-56 ., chapter Some Very Compositional Temporal Properties, pages 307 -- 326 . Elsevier Science B. V. , North- Holland , 1994 .]] B. Moszkowski. Programming Concepts, Methods and Calculi, IFIP Transactions, A-56., chapter Some Very Compositional Temporal Properties, pages 307--326. Elsevier Science B. V., North-Holland, 1994.]]"},{"key":"e_1_3_2_1_27_1","first-page":"17","volume":"0","author":"Kavantzas Nickolas","year":"2004","unstructured":"Nickolas Kavantzas , David Burdett , Gregory Ritzinger , Tony Fletcher , Yves Lafon. Web Services Choreography Description Language Version 1 . 0 : W3C Working Draft 17 December 2004 , 2004.]] Nickolas Kavantzas, David Burdett, Gregory Ritzinger, Tony Fletcher, Yves Lafon. Web Services Choreography Description Language Version 1.0: W3C Working Draft 17 December 2004, 2004.]]","journal-title":"Yves Lafon. Web Services Choreography Description Language Version 1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1109\/MC.2003.1236471"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1109\/ICNP.1994.344368"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.5555\/647170.718282"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.5555\/646667.700340"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.5555\/1025120.1025688"},{"key":"e_1_3_2_1_33_1","volume-title":"PI-Calculus: A Theory of Mobile Processes","author":"Sangiorgi D.","year":"2001","unstructured":"D. Sangiorgi and D. Walker . PI-Calculus: A Theory of Mobile Processes . Cambridge University Press , New York, NY, USA , 2001 .]] D. Sangiorgi and D. Walker. PI-Calculus: A Theory of Mobile Processes. Cambridge University Press, New York, NY, USA, 2001.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1007\/BF01211909"},{"unstructured":"The OWL-S Coalition. OWL-S 1.1 Release. 2004. http:\/\/www.daml.org\/services\/owl-s\/1.0\/.]]  The OWL-S Coalition. OWL-S 1.1 Release. 2004. http:\/\/www.daml.org\/services\/owl-s\/1.0\/.]]","key":"e_1_3_2_1_38_1"},{"key":"e_1_3_2_1_39_1","first-page":"106","article-title":"Business Process Execution Language for Web Services","volume":"1","author":"Tony Andrews","year":"2003","unstructured":"Tony Andrews et al . Business Process Execution Language for Web Services , Version 1 . 1 , 2003 . http:\/\/www- 106 .ibm.com\/developerworks\/library\/wsbpel\/.]] Tony Andrews et al. Business Process Execution Language for Web Services, Version 1.1, 2003. http:\/\/www-106.ibm.com\/developerworks\/library\/wsbpel\/.]]","journal-title":"Version 1"},{"key":"e_1_3_2_1_40_1","first-page":"188","volume-title":"Proceedings of the 8th International Conference on Implementation and Application of Automata (CIAA)","author":"Bultan X. Fu T.","year":"2003","unstructured":"X. Fu T. Bultan and J. Su . Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services . In Proceedings of the 8th International Conference on Implementation and Application of Automata (CIAA) , pages 188 -- 200 , Santa Barbara, CA, USA , 2003 .]] X. Fu T. Bultan and J. Su. Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. In Proceedings of the 8th International Conference on Implementation and Application of Automata (CIAA), pages 188--200, Santa Barbara, CA, USA, 2003.]]"}],"event":{"sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","ACM Association for Computing Machinery"],"acronym":"WWW06","name":"WWW06: The 15th International World Wide Web Conference 2006","location":"Edinburgh Scotland"},"container-title":["Proceedings of the 15th international conference on World Wide Web"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1135777.1135878","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1135777.1135878","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:33Z","timestamp":1750259193000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1135777.1135878"}},"subtitle":["a wide spectrum language for designing web services"],"short-title":[],"issued":{"date-parts":[[2006,5,23]]},"references-count":37,"alternative-id":["10.1145\/1135777.1135878","10.1145\/1135777"],"URL":"https:\/\/doi.org\/10.1145\/1135777.1135878","relation":{},"subject":[],"published":{"date-parts":[[2006,5,23]]},"assertion":[{"value":"2006-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}