{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:55:07Z","timestamp":1725490507910},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001980"},{"type":"electronic","value":"9783540361893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36189-8_17","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T09:46:00Z","timestamp":1188294360000},"page":"213-224","source":"Crossref","is-referenced-by-count":16,"title":["Value-Added Web Services Composition Using Automatic Program Synthesis"],"prefix":"10.1007","author":[{"given":"Mihhail","family":"Matskin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinghai","family":"Rao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"17_CR1","unstructured":"Anupriya Ankolekar et al. Daml-s: Semantic markup for web services. In Proceedings of the International Semantic Web Workshop, 2001."},{"key":"17_CR2","unstructured":"B. Benatallah, M. Dumas, M.C Fauvet, and F. Rabhi. Towards patterns of web services composition. Technical report, The University of New South Wales, November 2001."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"James L. Caldwell. Moving proofs-as-programs into practice. In The twelfth IEEE International Automated Software Engineering Conference, 1997.","DOI":"10.1109\/ASE.1997.632819"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Fabio Casati, Mehmet Sayal, and Ming-Chien Shan. Developing e-services for composing e-services. In K.R. Dittrich, A. Geppert, and M.C. Norrie, editors, Proceeding of 13th Int. Conference on Advanced Information Systems Engineering (CAiSE), Interlaken, Switzerland. Springer Verlag, June 2001.","DOI":"10.1007\/3-540-45341-5_12"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"F. Casati, S. Ilnicki, L. Jin, V. Krishnamoorthy, and M. Shan. Adaptive and dynamic service composition in eflow. In Benkt Wangler and Lars Bergman, editors, Proceeding of 12th Int. Conference on Advanced Information Systems Engineering (CAiSE), Stockholm, Sweden. Springer Verlag, June 2000.","DOI":"10.1007\/3-540-45140-4_3"},{"key":"17_CR6","unstructured":"DAML-S Coalition. Daml-s 0.6 draft release. http:\/\/www.daml.org\/services\/daml-s\/2001\/10\/ , december 2001."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"R. Doorenbos, O. Etzioni, and D. Weld. A scalable comparison-shopping agent for the world wide web. In Proceedings of the First International Conference on Autonomous Agent(Agent\u2019 97), Marina Del Rey, CA, February 1997.","DOI":"10.1145\/267658.267666"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"R. Guttman, A. Moukas, and P. Maes. Agent-mediated electronic commerce: A survey. Knowledge Engineering Review, 1998.","DOI":"10.1017\/S0269888998002082"},{"key":"17_CR9","unstructured":"IBM. Web Services Flow Language(WSFL 1.0)."},{"key":"17_CR10","series-title":"PhD thesis","volume-title":"Runtime Service Composition via Logic-Based Program Synthesis","author":"S. Lammermann","year":"2002","unstructured":"Sven Lammermann. Runtime Service Composition via Logic-Based Program Synthesis. PhD thesis, Department of Microelectronics and Information Technology, Royal Institute of Technology, Stockholm, 2002."},{"key":"17_CR11","first-page":"1","volume":"20","author":"M. Matskin","year":"2001","unstructured":"Mihhail Matskin and Enn Tyugu. Structural synthesis of programs and its extensions. Computing and Informatics Journal, 20:1\u201325, 2001.","journal-title":"Computing and Informatics Journal"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, and Katia Sycara. Semantic matching of web services capabilities. In First International Semantic Web Conference (ISWC), Sardinia, Italy, June 2002.","DOI":"10.1007\/3-540-48005-6_26"},{"key":"17_CR13","unstructured":"John J. Penix. Automated Component Retrieval and Adaptation Using Formal Specifications. PhD thesis, Division of Research and Advanced Studies of the University of Cincinnati, 1998."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"H. Schuster, D. Georgakopoulos, A. Cichocki, and D. Baker. Modeling and composing service-based and reference processbased multi-enterprise processes. In Benkt Wangler and Lars Bergman, editors, Proceeding of 12th Int. Conference on Advanced Information Systems Engineering (CAiSE), Stockholm, Sweden. Springer Verlag, June 2000.","DOI":"10.1007\/3-540-45140-4_17"},{"key":"17_CR15","unstructured":"UDDI.org. Universal description, discovery and integration specification. http:\/\/www.uddi.org\/specification.html ."},{"key":"17_CR16","unstructured":"T. Uustalu, U. Kopra, V. Kotkas, M. Matskin, and E. Tyugu. The nut language report. Technical report, The Royal Institute of Technology(KTH), 1994."},{"key":"17_CR17","unstructured":"W3C.org. Web services description language (wsdl) 1.1. http:\/\/www.w3.org\/TR\/wsdl ."}],"container-title":["Lecture Notes in Computer Science","Web Services, E-Business, and the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36189-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:04:59Z","timestamp":1556802299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36189-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001980","9783540361893"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-36189-8_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}