{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T06:01:05Z","timestamp":1738130465600,"version":"3.33.0"},"reference-count":18,"publisher":"World Scientific Pub Co Pte Ltd","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2008,2]]},"abstract":"<jats:p>We propose a specification-driven approach to Web service composition. Our framework allows the users (or service developers) to start with a high-level, possibly incomplete specification of a desired (goal) service that is to be realized using a subset of the available component services. These services are represented using labeled transition systems augmented with guards over variables with infinite domains and are used to determine a strategy for their composition that would realize the goal service functionality. However, in the event the goal service cannot be realized using the available services, our approach identifies the cause(s) for such failure which can then be used by the developer to reformulate the goal specification. Thus, the technique supports Web service composition through iterative reformulation of the functional specification. We present a prototype implementation in a tabled-logic programming environment that illustrates the key features of the proposed approach.<\/jats:p>","DOI":"10.1142\/s0218213008003807","type":"journal-article","created":{"date-parts":[[2008,3,4]],"date-time":"2008-03-04T11:05:40Z","timestamp":1204628740000},"page":"109-138","source":"Crossref","is-referenced-by-count":9,"title":["MoSCoE: AN APPROACH FOR COMPOSING WEB SERVICES THROUGH ITERATIVE REFORMULATION OF FUNCTIONAL SPECIFICATIONS"],"prefix":"10.1142","volume":"17","author":[{"given":"JYOTISHMAN","family":"PATHAK","sequence":"first","affiliation":[{"name":"Division of Biomedical Informatics, Mayo Clinic College of Medicine, Rochester, MN 55905, USA"}]},{"given":"SAMIK","family":"BASU","sequence":"additional","affiliation":[{"name":"Software Systems Specification &amp; Verification Laboratory, Department of Computer Science, Iowa State University, Ames, IA 50011-1040, USA"}]},{"given":"ROBYN","family":"LUTZ","sequence":"additional","affiliation":[{"name":"Laboratory for Software Safety, Department of Computer Science, Iowa State University, Ames, IA 50011-1040, USA"}]},{"given":"VASANT","family":"HONAVAR","sequence":"additional","affiliation":[{"name":"Artificial Intelligence Research Laboratory, Department of Computer Science, Iowa State University, Ames, IA 50011-1040, USA"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"volume-title":"Web Services: Concepts, Architectures and Applications","year":"2004","author":"Alonso G.","key":"rf1"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1504\/IJWET.2004.006272"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2003.1167338"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00040-2"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-005-1073-9"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1504\/IJWGS.2005.007545"},{"volume-title":"Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services","year":"2004","author":"Erl T.","key":"rf13"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1147\/sj.444.0753"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.64"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.1145\/1083784.1083807"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1145\/1084772.1084773"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1109\/5254.920599"},{"key":"rf24","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2005.101"},{"key":"rf25","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.58"},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.1145\/1124566.1124568"},{"key":"rf42","doi-asserted-by":"crossref","first-page":"57","DOI":"10.28945\/577","volume":"3","author":"Robins D.","journal-title":"Informing Science"},{"key":"rf43","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/APO-2005-000008","volume":"1","author":"Roman D.","journal-title":"Applied Ontology"},{"key":"rf46","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.06.005"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213008003807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T22:14:00Z","timestamp":1738102440000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213008003807"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2]]},"references-count":18,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2008,2]]}},"alternative-id":["10.1142\/S0218213008003807"],"URL":"https:\/\/doi.org\/10.1142\/s0218213008003807","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"type":"print","value":"0218-2130"},{"type":"electronic","value":"1793-6349"}],"subject":[],"published":{"date-parts":[[2008,2]]}}}