Detection of missing Web services: the partial deduction approach
Many methods have been recently proposed for composing automatically Web services from existing ones. The methods range from AI planning to automated theorem proving and graph search algorithms. However, the usability of these methods is greatly affected by two assumptions. Firstly, it is assumed th...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | 6 pp. |
| container_title | |
| container_volume | |
| creator | Kungas, P. Matskin, M. |
| description | Many methods have been recently proposed for composing automatically Web services from existing ones. The methods range from AI planning to automated theorem proving and graph search algorithms. However, the usability of these methods is greatly affected by two assumptions. Firstly, it is assumed that developers provide consistent declarative descriptions of Web services. Secondly, it is assumed that there exists a sufficient set of atomic Web services, which would facilitate the composition of all other Web services. In this paper we propose a method to ensure these two assumptions by using analysis of Web services' descriptions. In particular, we apply partial deduction for identifying possible inconsistencies in Web service descriptions. Our method also determines possibly missing atomic Web services, which should be implemented in order to compose a requested composite Web service. |
| doi_str_mv | 10.1109/NWESP.2005.28 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>swepub_6IE</sourceid><recordid>TN_cdi_ieee_primary_1592450</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1592450</ieee_id><sourcerecordid>oai_DiVA_org_kth_81279</sourcerecordid><originalsourceid>FETCH-LOGICAL-i212t-83aac1712edde3ff3056d7935bcd2ca131993a91d641df5eb2a34e4d101e1b823</originalsourceid><addsrcrecordid>eNo9kM1Kw0AYRQdEUGKWrtzMA5g63_wkM-5CW6tQVPCnyzDJfGlG2yZkUsW3NxDxbs7mcBaXkEtgMwBmbh43y5fnGWdMzbg-IbHJNMtSo7hUXJ-ROIQPNk5KJXV6TvIFDlgNvj3QtqZ7H4I_bOkGSxqw__IVhls6NEg72w_e7qhDd5x023V9a6vmgpzWdhcw_mNE3u6Wr_P7ZP20epjn68Rz4EOihbUVZMDRORR1LZhKXWaEKivHKwsCjBHWgEsluFphya2QKB0wQCg1FxG5nrrhG7tjWXS939v-p2itLxb-PS_aflt8Dk2hgY_diFxNukfEfxmUGY9g4hdLVlgo</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Detection of missing Web services: the partial deduction approach</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Kungas, P. ; Matskin, M.</creator><creatorcontrib>Kungas, P. ; Matskin, M.</creatorcontrib><description>Many methods have been recently proposed for composing automatically Web services from existing ones. The methods range from AI planning to automated theorem proving and graph search algorithms. However, the usability of these methods is greatly affected by two assumptions. Firstly, it is assumed that developers provide consistent declarative descriptions of Web services. Secondly, it is assumed that there exists a sufficient set of atomic Web services, which would facilitate the composition of all other Web services. In this paper we propose a method to ensure these two assumptions by using analysis of Web services' descriptions. In particular, we apply partial deduction for identifying possible inconsistencies in Web service descriptions. Our method also determines possibly missing atomic Web services, which should be implemented in order to compose a requested composite Web service.</description><identifier>ISBN: 9780769524528</identifier><identifier>ISBN: 0769524524</identifier><identifier>DOI: 10.1109/NWESP.2005.28</identifier><language>eng</language><publisher>IEEE</publisher><subject>Artificial intelligence ; Context-aware services ; Information science ; Logic ; Performance analysis ; Semantic Web ; Service oriented architecture ; Usability ; Web services</subject><ispartof>International Conference on Next Generation Web Services Practices (NWeSP'05), 2005, p.6 pp.</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1592450$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,885,2056,4048,4049,27924,54919</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1592450$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttps://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-81279$$DView record from Swedish Publication Index$$Hfree_for_read</backlink></links><search><creatorcontrib>Kungas, P.</creatorcontrib><creatorcontrib>Matskin, M.</creatorcontrib><title>Detection of missing Web services: the partial deduction approach</title><title>International Conference on Next Generation Web Services Practices (NWeSP'05)</title><addtitle>NWESP</addtitle><description>Many methods have been recently proposed for composing automatically Web services from existing ones. The methods range from AI planning to automated theorem proving and graph search algorithms. However, the usability of these methods is greatly affected by two assumptions. Firstly, it is assumed that developers provide consistent declarative descriptions of Web services. Secondly, it is assumed that there exists a sufficient set of atomic Web services, which would facilitate the composition of all other Web services. In this paper we propose a method to ensure these two assumptions by using analysis of Web services' descriptions. In particular, we apply partial deduction for identifying possible inconsistencies in Web service descriptions. Our method also determines possibly missing atomic Web services, which should be implemented in order to compose a requested composite Web service.</description><subject>Artificial intelligence</subject><subject>Context-aware services</subject><subject>Information science</subject><subject>Logic</subject><subject>Performance analysis</subject><subject>Semantic Web</subject><subject>Service oriented architecture</subject><subject>Usability</subject><subject>Web services</subject><isbn>9780769524528</isbn><isbn>0769524524</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2005</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNo9kM1Kw0AYRQdEUGKWrtzMA5g63_wkM-5CW6tQVPCnyzDJfGlG2yZkUsW3NxDxbs7mcBaXkEtgMwBmbh43y5fnGWdMzbg-IbHJNMtSo7hUXJ-ROIQPNk5KJXV6TvIFDlgNvj3QtqZ7H4I_bOkGSxqw__IVhls6NEg72w_e7qhDd5x023V9a6vmgpzWdhcw_mNE3u6Wr_P7ZP20epjn68Rz4EOihbUVZMDRORR1LZhKXWaEKivHKwsCjBHWgEsluFphya2QKB0wQCg1FxG5nrrhG7tjWXS939v-p2itLxb-PS_aflt8Dk2hgY_diFxNukfEfxmUGY9g4hdLVlgo</recordid><startdate>2005</startdate><enddate>2005</enddate><creator>Kungas, P.</creator><creator>Matskin, M.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope><scope>ADTPV</scope><scope>BNKNJ</scope><scope>D8V</scope></search><sort><creationdate>2005</creationdate><title>Detection of missing Web services: the partial deduction approach</title><author>Kungas, P. ; Matskin, M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i212t-83aac1712edde3ff3056d7935bcd2ca131993a91d641df5eb2a34e4d101e1b823</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Artificial intelligence</topic><topic>Context-aware services</topic><topic>Information science</topic><topic>Logic</topic><topic>Performance analysis</topic><topic>Semantic Web</topic><topic>Service oriented architecture</topic><topic>Usability</topic><topic>Web services</topic><toplevel>online_resources</toplevel><creatorcontrib>Kungas, P.</creatorcontrib><creatorcontrib>Matskin, M.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection><collection>SwePub</collection><collection>SwePub Conference</collection><collection>SWEPUB Kungliga Tekniska Högskolan</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Kungas, P.</au><au>Matskin, M.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Detection of missing Web services: the partial deduction approach</atitle><btitle>International Conference on Next Generation Web Services Practices (NWeSP'05)</btitle><stitle>NWESP</stitle><date>2005</date><risdate>2005</risdate><spage>6 pp.</spage><pages>6 pp.-</pages><isbn>9780769524528</isbn><isbn>0769524524</isbn><abstract>Many methods have been recently proposed for composing automatically Web services from existing ones. The methods range from AI planning to automated theorem proving and graph search algorithms. However, the usability of these methods is greatly affected by two assumptions. Firstly, it is assumed that developers provide consistent declarative descriptions of Web services. Secondly, it is assumed that there exists a sufficient set of atomic Web services, which would facilitate the composition of all other Web services. In this paper we propose a method to ensure these two assumptions by using analysis of Web services' descriptions. In particular, we apply partial deduction for identifying possible inconsistencies in Web service descriptions. Our method also determines possibly missing atomic Web services, which should be implemented in order to compose a requested composite Web service.</abstract><pub>IEEE</pub><doi>10.1109/NWESP.2005.28</doi></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 9780769524528 |
| ispartof | International Conference on Next Generation Web Services Practices (NWeSP'05), 2005, p.6 pp. |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_1592450 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Artificial intelligence Context-aware services Information science Logic Performance analysis Semantic Web Service oriented architecture Usability Web services |
| title | Detection of missing Web services: the partial deduction approach |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-11T12%3A20%3A32IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-swepub_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Detection%20of%20missing%20Web%20services:%20the%20partial%20deduction%20approach&rft.btitle=International%20Conference%20on%20Next%20Generation%20Web%20Services%20Practices%20(NWeSP'05)&rft.au=Kungas,%20P.&rft.date=2005&rft.spage=6%20pp.&rft.pages=6%20pp.-&rft.isbn=9780769524528&rft.isbn_list=0769524524&rft_id=info:doi/10.1109/NWESP.2005.28&rft_dat=%3Cswepub_6IE%3Eoai_DiVA_org_kth_81279%3C/swepub_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=1592450&rfr_iscdi=true |