Automatic Web Service Composition Using OWL-S and Fluent Calculus
This paper presents a novel approach for semantic Web service composition based on the formalism of fluent calculus. We show how the planning capabilities of the fluent calculus can be used to automatically generate an abstract composition model. For describing Web service capabilities we have used...
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 | 276 |
|---|---|
| container_issue | |
| container_start_page | 271 |
| container_title | |
| container_volume | |
| creator | Chifu, V.R. Salomie, I. Chifu, E.S. |
| description | This paper presents a novel approach for semantic Web service composition based on the formalism of fluent calculus. We show how the planning capabilities of the fluent calculus can be used to automatically generate an abstract composition model. For describing Web service capabilities we have used an OWL-S ontology. Based on the OWL-S ontology semantics, we encode the Web service description in the fluent calculus formalism and provide a planning strategy for service composition. For testing our composition method, we have implemented an experimental framework that automatically composes and executes Web services. |
| doi_str_mv | 10.1109/CIMCA.2008.118 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5172637</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5172637</ieee_id><sourcerecordid>5172637</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-733577f1c26a9e30f854ceb46f36e55eb583f4ac8c682c64978ba87852b16c953</originalsourceid><addsrcrecordid>eNotjstKw0AUQAdEqNRs3biZH0idO-8sw2C1kNJFLV2WyfRGRvIomUTw7w3o6nA2h0PIE7ANACte3G7vyg1nzC5u70hWGMuMLpRQIPmKZCl9Mcag0AZAPpCynKeh81MM9Iw1PeL4HQNSN3S3IcUpDj09pdh_0sO5yo_U91e6bWfsJ-p8G-Z2To_kvvFtwuyfa3Lavn6497w6vO1cWeURjJpyI4QypoHAtS9QsMYqGbCWuhEalcJaWdFIH2zQlgctl-_aW2MVr0GH5X9Nnv-6EREvtzF2fvy5KDBcCyN-AZLuRrI</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Automatic Web Service Composition Using OWL-S and Fluent Calculus</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Chifu, V.R. ; Salomie, I. ; Chifu, E.S.</creator><creatorcontrib>Chifu, V.R. ; Salomie, I. ; Chifu, E.S.</creatorcontrib><description>This paper presents a novel approach for semantic Web service composition based on the formalism of fluent calculus. We show how the planning capabilities of the fluent calculus can be used to automatically generate an abstract composition model. For describing Web service capabilities we have used an OWL-S ontology. Based on the OWL-S ontology semantics, we encode the Web service description in the fluent calculus formalism and provide a planning strategy for service composition. For testing our composition method, we have implemented an experimental framework that automatically composes and executes Web services.</description><identifier>ISBN: 9780769535142</identifier><identifier>ISBN: 0769535143</identifier><identifier>DOI: 10.1109/CIMCA.2008.118</identifier><language>eng</language><publisher>IEEE</publisher><subject>Automatic testing ; Calculus ; Computer science ; fluent calculus ; Logic programming ; Ontologies ; Resource management ; Semantic Web ; Strategic planning ; web service composition ; Web services ; XML</subject><ispartof>2008 International Conference on Computational Intelligence for Modelling Control & Automation, 2008, p.271-276</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/5172637$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5172637$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Chifu, V.R.</creatorcontrib><creatorcontrib>Salomie, I.</creatorcontrib><creatorcontrib>Chifu, E.S.</creatorcontrib><title>Automatic Web Service Composition Using OWL-S and Fluent Calculus</title><title>2008 International Conference on Computational Intelligence for Modelling Control & Automation</title><addtitle>CIMCA</addtitle><description>This paper presents a novel approach for semantic Web service composition based on the formalism of fluent calculus. We show how the planning capabilities of the fluent calculus can be used to automatically generate an abstract composition model. For describing Web service capabilities we have used an OWL-S ontology. Based on the OWL-S ontology semantics, we encode the Web service description in the fluent calculus formalism and provide a planning strategy for service composition. For testing our composition method, we have implemented an experimental framework that automatically composes and executes Web services.</description><subject>Automatic testing</subject><subject>Calculus</subject><subject>Computer science</subject><subject>fluent calculus</subject><subject>Logic programming</subject><subject>Ontologies</subject><subject>Resource management</subject><subject>Semantic Web</subject><subject>Strategic planning</subject><subject>web service composition</subject><subject>Web services</subject><subject>XML</subject><isbn>9780769535142</isbn><isbn>0769535143</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2008</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotjstKw0AUQAdEqNRs3biZH0idO-8sw2C1kNJFLV2WyfRGRvIomUTw7w3o6nA2h0PIE7ANACte3G7vyg1nzC5u70hWGMuMLpRQIPmKZCl9Mcag0AZAPpCynKeh81MM9Iw1PeL4HQNSN3S3IcUpDj09pdh_0sO5yo_U91e6bWfsJ-p8G-Z2To_kvvFtwuyfa3Lavn6497w6vO1cWeURjJpyI4QypoHAtS9QsMYqGbCWuhEalcJaWdFIH2zQlgctl-_aW2MVr0GH5X9Nnv-6EREvtzF2fvy5KDBcCyN-AZLuRrI</recordid><startdate>200812</startdate><enddate>200812</enddate><creator>Chifu, V.R.</creator><creator>Salomie, I.</creator><creator>Chifu, E.S.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>200812</creationdate><title>Automatic Web Service Composition Using OWL-S and Fluent Calculus</title><author>Chifu, V.R. ; Salomie, I. ; Chifu, E.S.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-733577f1c26a9e30f854ceb46f36e55eb583f4ac8c682c64978ba87852b16c953</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2008</creationdate><topic>Automatic testing</topic><topic>Calculus</topic><topic>Computer science</topic><topic>fluent calculus</topic><topic>Logic programming</topic><topic>Ontologies</topic><topic>Resource management</topic><topic>Semantic Web</topic><topic>Strategic planning</topic><topic>web service composition</topic><topic>Web services</topic><topic>XML</topic><toplevel>online_resources</toplevel><creatorcontrib>Chifu, V.R.</creatorcontrib><creatorcontrib>Salomie, I.</creatorcontrib><creatorcontrib>Chifu, E.S.</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></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Chifu, V.R.</au><au>Salomie, I.</au><au>Chifu, E.S.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Automatic Web Service Composition Using OWL-S and Fluent Calculus</atitle><btitle>2008 International Conference on Computational Intelligence for Modelling Control & Automation</btitle><stitle>CIMCA</stitle><date>2008-12</date><risdate>2008</risdate><spage>271</spage><epage>276</epage><pages>271-276</pages><isbn>9780769535142</isbn><isbn>0769535143</isbn><abstract>This paper presents a novel approach for semantic Web service composition based on the formalism of fluent calculus. We show how the planning capabilities of the fluent calculus can be used to automatically generate an abstract composition model. For describing Web service capabilities we have used an OWL-S ontology. Based on the OWL-S ontology semantics, we encode the Web service description in the fluent calculus formalism and provide a planning strategy for service composition. For testing our composition method, we have implemented an experimental framework that automatically composes and executes Web services.</abstract><pub>IEEE</pub><doi>10.1109/CIMCA.2008.118</doi><tpages>6</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 9780769535142 |
| ispartof | 2008 International Conference on Computational Intelligence for Modelling Control & Automation, 2008, p.271-276 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_5172637 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Automatic testing Calculus Computer science fluent calculus Logic programming Ontologies Resource management Semantic Web Strategic planning web service composition Web services XML |
| title | Automatic Web Service Composition Using OWL-S and Fluent Calculus |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-22T18%3A32%3A59IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Automatic%20Web%20Service%20Composition%20Using%20OWL-S%20and%20Fluent%20Calculus&rft.btitle=2008%20International%20Conference%20on%20Computational%20Intelligence%20for%20Modelling%20Control%20&%20Automation&rft.au=Chifu,%20V.R.&rft.date=2008-12&rft.spage=271&rft.epage=276&rft.pages=271-276&rft.isbn=9780769535142&rft.isbn_list=0769535143&rft_id=info:doi/10.1109/CIMCA.2008.118&rft_dat=%3Cieee_6IE%3E5172637%3C/ieee_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=5172637&rfr_iscdi=true |