Transforming OWL-S Process Model into EDFA for Service Discovery

Transforming OWL-S Process Model into EDFA for Service Discovery

Current Web services standards do not well support automatically discovering and selecting services that can be safely integrated with existing components. Semantic matching of service specifications based on the behaviors of Web services, i.e., the ways a client may interact with the service, can b...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Lihui Lei, Zhenhua Duan
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Automata
Automatic testing
Communication standards
Erbium-doped fiber amplifier
Publishing
Semantic Web
Simple object access protocol
Standards publication
Web and internet services
Web services
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 144
container_issue
container_start_page 137
container_title
container_volume
creator Lihui Lei
Zhenhua Duan
description Current Web services standards do not well support automatically discovering and selecting services that can be safely integrated with existing components. Semantic matching of service specifications based on the behaviors of Web services, i.e., the ways a client may interact with the service, can be used to solve the problem. Therefore, the transformation of the OWL-S process model specifying the behaviors of Web services into an extended deterministic finite state automaton (EDFA) is presented in this paper. The automata describe Web services in a more accurate way: the nodes represent states maintained by services; the state transitions labelled by binary-tuples (input, output) rather than letters represent communication activities of services; moreover, the automaton structures describe the temporal sequences of communication activities that represent the behaviors of Web services. The compatibility of Web services can be evaluated with testing the emptiness of the languages accepted by EDFAs
doi_str_mv 10.1109/ICWS.2006.134
format Conference Proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_4032021</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4032021</ieee_id><sourcerecordid>4032021</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-900d17e37594994e38fd72b11739fdab31f7eafd0b962a0405e0ee728ac505083</originalsourceid><addsrcrecordid>eNotjEFLwzAYQAMiKLNHT17yB1q_JE3S7-boNh1UJnSy40jbLxLZWknGYP_egb7LuzweY48CCiEAn9f1ri0kgCmEKm9YhrYCa1BLYxDuWJbSN1xRaGyl79nLNrox-Skew_jFN7smb_lHnHpKib9PAx14GE8TXy5Wc36teEvxHHrii5D66Uzx8sBuvTskyv49Y5-r5bZ-y5vN67qeN3kQVp9yBBiEJWU1loglqcoPVnZCWIV-cJ0S3pLzA3RopIMSNAGRlZXrNWio1Iw9_X0DEe1_Yji6eNmXoCRIoX4B4oVF5A</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Transforming OWL-S Process Model into EDFA for Service Discovery</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Lihui Lei ; Zhenhua Duan</creator><creatorcontrib>Lihui Lei ; Zhenhua Duan</creatorcontrib><description>Current Web services standards do not well support automatically discovering and selecting services that can be safely integrated with existing components. Semantic matching of service specifications based on the behaviors of Web services, i.e., the ways a client may interact with the service, can be used to solve the problem. Therefore, the transformation of the OWL-S process model specifying the behaviors of Web services into an extended deterministic finite state automaton (EDFA) is presented in this paper. The automata describe Web services in a more accurate way: the nodes represent states maintained by services; the state transitions labelled by binary-tuples (input, output) rather than letters represent communication activities of services; moreover, the automaton structures describe the temporal sequences of communication activities that represent the behaviors of Web services. The compatibility of Web services can be evaluated with testing the emptiness of the languages accepted by EDFAs</description><identifier>ISBN: 9780769526690</identifier><identifier>ISBN: 0769526691</identifier><identifier>DOI: 10.1109/ICWS.2006.134</identifier><language>eng</language><publisher>IEEE</publisher><subject>Automata ; Automatic testing ; Communication standards ; Erbium-doped fiber amplifier ; Publishing ; Semantic Web ; Simple object access protocol ; Standards publication ; Web and internet services ; Web services</subject><ispartof>2006 IEEE International Conference on Web Services (ICWS'06), 2006, p.137-144</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/4032021$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2056,27924,54919</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4032021$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Lihui Lei</creatorcontrib><creatorcontrib>Zhenhua Duan</creatorcontrib><title>Transforming OWL-S Process Model into EDFA for Service Discovery</title><title>2006 IEEE International Conference on Web Services (ICWS'06)</title><addtitle>ICWS</addtitle><description>Current Web services standards do not well support automatically discovering and selecting services that can be safely integrated with existing components. Semantic matching of service specifications based on the behaviors of Web services, i.e., the ways a client may interact with the service, can be used to solve the problem. Therefore, the transformation of the OWL-S process model specifying the behaviors of Web services into an extended deterministic finite state automaton (EDFA) is presented in this paper. The automata describe Web services in a more accurate way: the nodes represent states maintained by services; the state transitions labelled by binary-tuples (input, output) rather than letters represent communication activities of services; moreover, the automaton structures describe the temporal sequences of communication activities that represent the behaviors of Web services. The compatibility of Web services can be evaluated with testing the emptiness of the languages accepted by EDFAs</description><subject>Automata</subject><subject>Automatic testing</subject><subject>Communication standards</subject><subject>Erbium-doped fiber amplifier</subject><subject>Publishing</subject><subject>Semantic Web</subject><subject>Simple object access protocol</subject><subject>Standards publication</subject><subject>Web and internet services</subject><subject>Web services</subject><isbn>9780769526690</isbn><isbn>0769526691</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2006</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotjEFLwzAYQAMiKLNHT17yB1q_JE3S7-boNh1UJnSy40jbLxLZWknGYP_egb7LuzweY48CCiEAn9f1ri0kgCmEKm9YhrYCa1BLYxDuWJbSN1xRaGyl79nLNrox-Skew_jFN7smb_lHnHpKib9PAx14GE8TXy5Wc36teEvxHHrii5D66Uzx8sBuvTskyv49Y5-r5bZ-y5vN67qeN3kQVp9yBBiEJWU1loglqcoPVnZCWIV-cJ0S3pLzA3RopIMSNAGRlZXrNWio1Iw9_X0DEe1_Yji6eNmXoCRIoX4B4oVF5A</recordid><startdate>200609</startdate><enddate>200609</enddate><creator>Lihui Lei</creator><creator>Zhenhua Duan</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>200609</creationdate><title>Transforming OWL-S Process Model into EDFA for Service Discovery</title><author>Lihui Lei ; Zhenhua Duan</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-900d17e37594994e38fd72b11739fdab31f7eafd0b962a0405e0ee728ac505083</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2006</creationdate><topic>Automata</topic><topic>Automatic testing</topic><topic>Communication standards</topic><topic>Erbium-doped fiber amplifier</topic><topic>Publishing</topic><topic>Semantic Web</topic><topic>Simple object access protocol</topic><topic>Standards publication</topic><topic>Web and internet services</topic><topic>Web services</topic><toplevel>online_resources</toplevel><creatorcontrib>Lihui Lei</creatorcontrib><creatorcontrib>Zhenhua Duan</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>Lihui Lei</au><au>Zhenhua Duan</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Transforming OWL-S Process Model into EDFA for Service Discovery</atitle><btitle>2006 IEEE International Conference on Web Services (ICWS'06)</btitle><stitle>ICWS</stitle><date>2006-09</date><risdate>2006</risdate><spage>137</spage><epage>144</epage><pages>137-144</pages><isbn>9780769526690</isbn><isbn>0769526691</isbn><abstract>Current Web services standards do not well support automatically discovering and selecting services that can be safely integrated with existing components. Semantic matching of service specifications based on the behaviors of Web services, i.e., the ways a client may interact with the service, can be used to solve the problem. Therefore, the transformation of the OWL-S process model specifying the behaviors of Web services into an extended deterministic finite state automaton (EDFA) is presented in this paper. The automata describe Web services in a more accurate way: the nodes represent states maintained by services; the state transitions labelled by binary-tuples (input, output) rather than letters represent communication activities of services; moreover, the automaton structures describe the temporal sequences of communication activities that represent the behaviors of Web services. The compatibility of Web services can be evaluated with testing the emptiness of the languages accepted by EDFAs</abstract><pub>IEEE</pub><doi>10.1109/ICWS.2006.134</doi><tpages>8</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 9780769526690
ispartof 2006 IEEE International Conference on Web Services (ICWS'06), 2006, p.137-144
issn
language eng
recordid cdi_ieee_primary_4032021
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Automata
Automatic testing
Communication standards
Erbium-doped fiber amplifier
Publishing
Semantic Web
Simple object access protocol
Standards publication
Web and internet services
Web services
title Transforming OWL-S Process Model into EDFA for Service Discovery
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-12T11%3A31%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=Transforming%20OWL-S%20Process%20Model%20into%20EDFA%20for%20Service%20Discovery&rft.btitle=2006%20IEEE%20International%20Conference%20on%20Web%20Services%20(ICWS'06)&rft.au=Lihui%20Lei&rft.date=2006-09&rft.spage=137&rft.epage=144&rft.pages=137-144&rft.isbn=9780769526690&rft.isbn_list=0769526691&rft_id=info:doi/10.1109/ICWS.2006.134&rft_dat=%3Cieee_6IE%3E4032021%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=4032021&rfr_iscdi=true