Local and On-the-fly Choreography-based Web Service Composition
We present a goal-directed, local and on-the-fly algorithm for verifying the existence and synthesizing a choreographer forWeb service composition. We use i/o-automata to represent services, the desired functionality of the composition, and a choreographer to achieve the desired service by composing...
Uložené v:
| Vydané v: | Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence s. 521 - 527 |
|---|---|
| Hlavní autori: | , , |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
Washington, DC, USA
IEEE Computer Society
02.11.2007
|
| Edícia: | ACM Conferences |
| Predmet: | |
| ISBN: | 0769530265, 9780769530260 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | We present a goal-directed, local and on-the-fly algorithm for verifying the existence and synthesizing a choreographer forWeb service composition. We use i/o-automata to represent services, the desired functionality of the composition, and a choreographer to achieve the desired service by composing the existing ones. Choreographer existence and synthesis are typically performed by identifying all possible compositions realizable from the existing services and verifying whether one such composition conforms to the desired required functionality. Such a technique is subject to state-space explosion. In light of this, we have developed a tabled-logic programming technique which generates and explores compositions in a goal-directed fashion to prove/disprove the existence of choreographer and to infer whether the desired functionality is realizable. We present a prototype implementation and show the practical applicability of our technique using a variety of composition problems with the corresponding computational savings in terms of number of states and transitions explored. |
|---|---|
| AbstractList | We present a goal-directed, local and on-the-fly algorithm for verifying the existence and synthesizing a choreographer forWeb service composition. We use i/o-automata to represent services, the desired functionality of the composition, and a choreographer to achieve the desired service by composing the existing ones. Choreographer existence and synthesis are typically performed by identifying all possible compositions realizable from the existing services and verifying whether one such composition conforms to the desired required functionality. Such a technique is subject to state-space explosion. In light of this, we have developed a tabled-logic programming technique which generates and explores compositions in a goal-directed fashion to prove/disprove the existence of choreographer and to infer whether the desired functionality is realizable. We present a prototype implementation and show the practical applicability of our technique using a variety of composition problems with the corresponding computational savings in terms of number of states and transitions explored. |
| Author | Basu, Samik Mitra, Saayan Kumar, Ratnesh |
| Author_xml | – sequence: 1 givenname: Saayan surname: Mitra fullname: Mitra, Saayan – sequence: 2 givenname: Samik surname: Basu fullname: Basu, Samik – sequence: 3 givenname: Ratnesh surname: Kumar fullname: Kumar, Ratnesh |
| BookMark | eNqFj81KxDAYRQMq6Iyz8QkKrlyk5rdpViLF0UJhFipdhiT9YqudZmiLMG9vB917N3dz7oWzQudDHAChG0pSSom-r8uUEaJSxc7QiqhMS05YJi_RZpo-yRKuM5XTK_RQRW_7xA5Nshvw3AIO_TEp2jhC_BjtoT1iZydokhpc8grjd-chKeL-EKdu7uJwjS6C7SfY_PUavW-f3ooXXO2ey-KxwpZyNmPhCFeZaCwPynvPHM8pAS5dAJVJb4EIq53NgTLhG8pB60CEaLyUWqplvEa3v7_W742L8WsylJiTq6lLc3I1ii3U3f-UcWMHgf8APcZV0g |
| ContentType | Conference Proceeding |
| DOI | 10.1109/WI.2007.72 |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EndPage | 527 |
| GroupedDBID | 6IE 6IF 6IK 6IL 6IN AAJGR AARBI ACM ADPZR ALMA_UNASSIGNED_HOLDINGS APO BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK GUFHI OCL RIB RIC RIE RIL |
| ID | FETCH-LOGICAL-a132t-4b03764da3f7ccc2b3810e35bfe765cae04a9ba8e124cd13e99f044dc55957b03 |
| ISBN | 0769530265 9780769530260 |
| IngestDate | Wed Jan 31 06:53:24 EST 2024 Wed Jan 31 06:45:58 EST 2024 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a132t-4b03764da3f7ccc2b3810e35bfe765cae04a9ba8e124cd13e99f044dc55957b03 |
| PageCount | 7 |
| ParticipantIDs | acm_books_10_1109_WI_2007_72 acm_books_10_1109_WI_2007_72_brief |
| PublicationCentury | 2000 |
| PublicationDate | 20071102 |
| PublicationDateYYYYMMDD | 2007-11-02 |
| PublicationDate_xml | – month: 11 year: 2007 text: 20071102 day: 02 |
| PublicationDecade | 2000 |
| PublicationPlace | Washington, DC, USA |
| PublicationPlace_xml | – name: Washington, DC, USA |
| PublicationSeriesTitle | ACM Conferences |
| PublicationTitle | Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence |
| PublicationYear | 2007 |
| Publisher | IEEE Computer Society |
| Publisher_xml | – name: IEEE Computer Society |
| SSID | ssj0000396781 |
| Score | 1.406156 |
| Snippet | We present a goal-directed, local and on-the-fly algorithm for verifying the existence and synthesizing a choreographer forWeb service composition. We use... |
| SourceID | acm |
| SourceType | Publisher |
| StartPage | 521 |
| SubjectTerms | Computing methodologies -- Modeling and simulation -- Model development and analysis Computing methodologies -- Modeling and simulation -- Model development and analysis -- Model verification and validation Information systems -- World Wide Web -- Web applications Information systems -- World Wide Web -- Web services Theory of computation -- Logic Theory of computation -- Semantics and reasoning Theory of computation -- Semantics and reasoning -- Program reasoning |
| Title | Local and On-the-fly Choreography-based Web Service Composition |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LS8QwEA4qHvTkE98U8SbBdps27UEEF8UFX6Cy3kqSTmEPdmW7iv57J2na1AeCBy9lm2Wn23xDJjOZ-YaQgyRnkEBYUB7IiGpGKipBCLyFKEEFYSo3PLOX_Po6eXxMb23aWGXaCfCyTN7e0ud_hRrHEGxdOvsHuFuhOICfEXS8Iux4_bIj_tH43LaDVXP-rx06lDcc9DV7Qv_qSxjQFf3pk4MhSFtbUvN0dnXqctxQC9yUFCXTwpAjjydgia-pNoq5kWEXIbPg2MSwFtzR1HQ3OrwT4t1p56moXurRp1FbP-RSwHUqclWH3fQ8QnWsX8X9-c8BDG4q-Zy7q-fgsGlh0eSqOi_X53GqOxvFUWeZjeqqamuxo5pd4LsxMFyqw0FNVMnRUM9yHtQ1fm0czg9TtNdBHdGxT7LETM29b2ltUd6Rk6a3M-qpsxm5XyJr7qU9B_cymYFyhSx2GCZXyYmBzEPIPAeZ9x0yDyHzLGReB7I18nB-dt-_oLZnBhVB2JtSJn00GSwXYcGVUj2pGdwgjGQBPI6UAJ-JVIoEcF-n8iCENC18xnKFnmXE8cfrZK4cl7BBPGC4f5N-AqIImOAykXEu4hyCQp8lKLZJdnACMq36VWZ8ST_NhgPd2JRnvLdJ9n_7OpOoKcXW7zK2yYLTmB0yN528wC6ZV6_TUTXZM0B-ADuFW3M |
| linkProvider | IEEE |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+IEEE%2FWIC%2FACM+International+Conference+on+Web+Intelligence&rft.atitle=Local+and+On-the-fly+Choreography-based+Web+Service+Composition&rft.au=Mitra%2C+Saayan&rft.au=Basu%2C+Samik&rft.au=Kumar%2C+Ratnesh&rft.series=ACM+Conferences&rft.date=2007-11-02&rft.pub=IEEE+Computer+Society&rft.isbn=0769530265&rft.spage=521&rft.epage=527&rft_id=info:doi/10.1109%2FWI.2007.72 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780769530260/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780769530260/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780769530260/sc.gif&client=summon&freeimage=true |