Logic-based Web services composition: from service description to process model

This paper introduces a method for automatic composition of semantic Web services using Linear Logic (LL) theorem proving. The method uses semantic Web service language (DAML-S) for external presentation of Web services, while, internally, the services are presented by extralogical axioms and proofs...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Rao, Jinghai, Kungas, Peep, Matskin, Mihhail
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Calculus Information science Information technology Logic Microelectronics Microstrip Ontologies Semantic Web Simple object access protocol Web services
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	453
container_issue
container_start_page	446
container_title
container_volume
creator	Rao, Jinghai Kungas, Peep Matskin, Mihhail
description	This paper introduces a method for automatic composition of semantic Web services using Linear Logic (LL) theorem proving. The method uses semantic Web service language (DAML-S) for external presentation of Web services, while, internally, the services are presented by extralogical axioms and proofs in LL. We use a process calculus to present the composite service formally. The process calculus is attached to the LL inference rules in the style of type theory. Thus the process model for a composite service can be generated directly from the proof. The subtyping rules that are used for semantic reasoning are presented with LL inference figures. We propose a system architecture where the DAML-S translator, the LL theorem prover and the semantic reasoner can operate together to fulfill the task. This architecture has been implemented in Java.
doi_str_mv	10.1109/ICWS.2004.1314769
format	Conference Proceeding
fullrecord	<record><control><sourceid>swepub_6IE</sourceid><recordid>TN_cdi_ieee_primary_1314769</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1314769</ieee_id><sourcerecordid>oai_DiVA_org_kth_81365</sourcerecordid><originalsourceid>FETCH-LOGICAL-i253t-cdb88b92323d12d14353e04231b783b6bcff15b9efa72870f05bd7be4a0ee14e3</originalsourceid><addsrcrecordid>eNo9kMtOwzAURC0hJKD0AxAbfwAJfsSJw64Kr0qRuuDRpWXH18XQ4MgOIP6eoBZmcxZzNItB6IySnFJSXy6b9UPOCClyymlRlfUBOiETBKNlxY_QPKVXMkUIWcvyGK3asPFdZnQCi9dgcIL46TtIuAv9EJIffXi_wi6G_q_CFlIX_fDb4DHgIYbJT7gPFran6NDpbYL5njP0dHvz2Nxn7epu2SzazDPBx6yzRkpTM864pczSggsOpGCcmkpyU5rOOSpMDU5XTFbEEWFsZaDQBIAWwGfoYrebvmD4MGqIvtfxWwXt1bV_XqgQN-ptfFGS8lJM-vlO9wDwL-8v4j9ck13T</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Logic-based Web services composition: from service description to process model</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Rao, Jinghai ; Kungas, Peep ; Matskin, Mihhail</creator><creatorcontrib>Rao, Jinghai ; Kungas, Peep ; Matskin, Mihhail</creatorcontrib><description>This paper introduces a method for automatic composition of semantic Web services using Linear Logic (LL) theorem proving. The method uses semantic Web service language (DAML-S) for external presentation of Web services, while, internally, the services are presented by extralogical axioms and proofs in LL. We use a process calculus to present the composite service formally. The process calculus is attached to the LL inference rules in the style of type theory. Thus the process model for a composite service can be generated directly from the proof. The subtyping rules that are used for semantic reasoning are presented with LL inference figures. We propose a system architecture where the DAML-S translator, the LL theorem prover and the semantic reasoner can operate together to fulfill the task. This architecture has been implemented in Java.</description><identifier>ISBN: 0769521673</identifier><identifier>ISBN: 9780769521671</identifier><identifier>DOI: 10.1109/ICWS.2004.1314769</identifier><language>eng</language><publisher>IEEE</publisher><subject>Calculus ; Information science ; Information technology ; Logic ; Microelectronics ; Microstrip ; Ontologies ; Semantic Web ; Simple object access protocol ; Web services</subject><ispartof>IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, p.446-453</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1314769$$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/1314769$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttps://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-81365$$DView record from Swedish Publication Index$$Hfree_for_read</backlink></links><search><creatorcontrib>Rao, Jinghai</creatorcontrib><creatorcontrib>Kungas, Peep</creatorcontrib><creatorcontrib>Matskin, Mihhail</creatorcontrib><title>Logic-based Web services composition: from service description to process model</title><title>IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS</title><addtitle>ICWS</addtitle><description>This paper introduces a method for automatic composition of semantic Web services using Linear Logic (LL) theorem proving. The method uses semantic Web service language (DAML-S) for external presentation of Web services, while, internally, the services are presented by extralogical axioms and proofs in LL. We use a process calculus to present the composite service formally. The process calculus is attached to the LL inference rules in the style of type theory. Thus the process model for a composite service can be generated directly from the proof. The subtyping rules that are used for semantic reasoning are presented with LL inference figures. We propose a system architecture where the DAML-S translator, the LL theorem prover and the semantic reasoner can operate together to fulfill the task. This architecture has been implemented in Java.</description><subject>Calculus</subject><subject>Information science</subject><subject>Information technology</subject><subject>Logic</subject><subject>Microelectronics</subject><subject>Microstrip</subject><subject>Ontologies</subject><subject>Semantic Web</subject><subject>Simple object access protocol</subject><subject>Web services</subject><isbn>0769521673</isbn><isbn>9780769521671</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2004</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNo9kMtOwzAURC0hJKD0AxAbfwAJfsSJw64Kr0qRuuDRpWXH18XQ4MgOIP6eoBZmcxZzNItB6IySnFJSXy6b9UPOCClyymlRlfUBOiETBKNlxY_QPKVXMkUIWcvyGK3asPFdZnQCi9dgcIL46TtIuAv9EJIffXi_wi6G_q_CFlIX_fDb4DHgIYbJT7gPFran6NDpbYL5njP0dHvz2Nxn7epu2SzazDPBx6yzRkpTM864pczSggsOpGCcmkpyU5rOOSpMDU5XTFbEEWFsZaDQBIAWwGfoYrebvmD4MGqIvtfxWwXt1bV_XqgQN-ptfFGS8lJM-vlO9wDwL-8v4j9ck13T</recordid><startdate>2004</startdate><enddate>2004</enddate><creator>Rao, Jinghai</creator><creator>Kungas, Peep</creator><creator>Matskin, Mihhail</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>2004</creationdate><title>Logic-based Web services composition: from service description to process model</title><author>Rao, Jinghai ; Kungas, Peep ; Matskin, Mihhail</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i253t-cdb88b92323d12d14353e04231b783b6bcff15b9efa72870f05bd7be4a0ee14e3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2004</creationdate><topic>Calculus</topic><topic>Information science</topic><topic>Information technology</topic><topic>Logic</topic><topic>Microelectronics</topic><topic>Microstrip</topic><topic>Ontologies</topic><topic>Semantic Web</topic><topic>Simple object access protocol</topic><topic>Web services</topic><toplevel>online_resources</toplevel><creatorcontrib>Rao, Jinghai</creatorcontrib><creatorcontrib>Kungas, Peep</creatorcontrib><creatorcontrib>Matskin, Mihhail</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>Rao, Jinghai</au><au>Kungas, Peep</au><au>Matskin, Mihhail</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Logic-based Web services composition: from service description to process model</atitle><btitle>IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS</btitle><stitle>ICWS</stitle><date>2004</date><risdate>2004</risdate><spage>446</spage><epage>453</epage><pages>446-453</pages><isbn>0769521673</isbn><isbn>9780769521671</isbn><abstract>This paper introduces a method for automatic composition of semantic Web services using Linear Logic (LL) theorem proving. The method uses semantic Web service language (DAML-S) for external presentation of Web services, while, internally, the services are presented by extralogical axioms and proofs in LL. We use a process calculus to present the composite service formally. The process calculus is attached to the LL inference rules in the style of type theory. Thus the process model for a composite service can be generated directly from the proof. The subtyping rules that are used for semantic reasoning are presented with LL inference figures. We propose a system architecture where the DAML-S translator, the LL theorem prover and the semantic reasoner can operate together to fulfill the task. This architecture has been implemented in Java.</abstract><pub>IEEE</pub><doi>10.1109/ICWS.2004.1314769</doi><tpages>8</tpages><oa>free_for_read</oa></addata></record>
fulltext	fulltext_linktorsrc
identifier	ISBN: 0769521673
ispartof	IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, p.446-453
issn
language	eng
recordid	cdi_ieee_primary_1314769
source	IEEE Electronic Library (IEL) Conference Proceedings
subjects	Calculus Information science Information technology Logic Microelectronics Microstrip Ontologies Semantic Web Simple object access protocol Web services
title	Logic-based Web services composition: from service description to process model
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-11T11%3A31%3A26IST&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=Logic-based%20Web%20services%20composition:%20from%20service%20description%20to%20process%20model&rft.btitle=IEEE%20INTERNATIONAL%20CONFERENCE%20ON%20WEB%20SERVICES,%20PROCEEDINGS&rft.au=Rao,%20Jinghai&rft.date=2004&rft.spage=446&rft.epage=453&rft.pages=446-453&rft.isbn=0769521673&rft.isbn_list=9780769521671&rft_id=info:doi/10.1109/ICWS.2004.1314769&rft_dat=%3Cswepub_6IE%3Eoai_DiVA_org_kth_81365%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=1314769&rfr_iscdi=true