Maude specification of web service composition and adaptation

Web services composition is emerging as a new model for automated interactions among distributed and heterogeneous applications. However the reuse of web services raises composition issues since they present, most of the time, mismatching at different levels such as structural, behavioral and non-fu...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Oussalah, Y., Zeghib, N.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	dynamic composition Equations formal specification Formal specifications Laboratories Mathematical model Maude Runtime Semantics web service adaptation Web services
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	376
container_issue
container_start_page	317
container_title
container_volume
creator	Oussalah, Y. Zeghib, N.
description	Web services composition is emerging as a new model for automated interactions among distributed and heterogeneous applications. However the reuse of web services raises composition issues since they present, most of the time, mismatching at different levels such as structural, behavioral and non-functional. The resulted mismatches require adaptation to insure the correct working between web services. In this paper we present a formal specification of operations which enable to compose and adapt services at runtime. This specification is given in Maude language as a logical framework. Thanks to many Maude tools, formal analysis may be easily performed.
doi_str_mv	10.1109/INTECH.2012.6457792
format	Conference Proceeding
fullrecord	<record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_6457792</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6457792</ieee_id><sourcerecordid>6457792</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-58412def78bcc46abf1fc2f149f72a62e10e8df0dc2199e249cc838cd676d263</originalsourceid><addsrcrecordid>eNo1j09LAzEUxCMiqHU_QS_5ArvmJWn-HDxIqbZQ9WAP3kr25QUitrtsVsVvr7T1NAzzm4FhbAqiARD-dvW8WcyXjRQgG6Nn1np5xipvHWhjlTTWqnN2_W_c2yWrSnkXQvy1jRJwxe6ewmckXnrCnDKGMXd73iX-TS0vNHxlJI7dru9KPkRhH3mIoR8P5A27SOGjUHXSCXt9WGzmy3r98ria36_r7MVYz5wGGSlZ1yJqE9oECWUC7ZOVwUgCQS4mEVGC9yS1R3TKYTTWRGnUhE2Pq5mItv2Qd2H42Z7-ql8_nUpR</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Maude specification of web service composition and adaptation</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Oussalah, Y. ; Zeghib, N.</creator><creatorcontrib>Oussalah, Y. ; Zeghib, N.</creatorcontrib><description>Web services composition is emerging as a new model for automated interactions among distributed and heterogeneous applications. However the reuse of web services raises composition issues since they present, most of the time, mismatching at different levels such as structural, behavioral and non-functional. The resulted mismatches require adaptation to insure the correct working between web services. In this paper we present a formal specification of operations which enable to compose and adapt services at runtime. This specification is given in Maude language as a logical framework. Thanks to many Maude tools, formal analysis may be easily performed.</description><identifier>ISBN: 146732678X</identifier><identifier>ISBN: 9781467326780</identifier><identifier>EISBN: 9781467326773</identifier><identifier>EISBN: 1467326771</identifier><identifier>EISBN: 9781467326797</identifier><identifier>EISBN: 1467326798</identifier><identifier>DOI: 10.1109/INTECH.2012.6457792</identifier><language>eng</language><publisher>IEEE</publisher><subject>dynamic composition ; Equations ; formal specification ; Formal specifications ; Laboratories ; Mathematical model ; Maude ; Runtime ; Semantics ; web service adaptation ; Web services</subject><ispartof>Second International Conference on the Innovative Computing Technology (INTECH 2012), 2012, p.317-376</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/6457792$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2051,27904,54898</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6457792$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Oussalah, Y.</creatorcontrib><creatorcontrib>Zeghib, N.</creatorcontrib><title>Maude specification of web service composition and adaptation</title><title>Second International Conference on the Innovative Computing Technology (INTECH 2012)</title><addtitle>INTECH</addtitle><description>Web services composition is emerging as a new model for automated interactions among distributed and heterogeneous applications. However the reuse of web services raises composition issues since they present, most of the time, mismatching at different levels such as structural, behavioral and non-functional. The resulted mismatches require adaptation to insure the correct working between web services. In this paper we present a formal specification of operations which enable to compose and adapt services at runtime. This specification is given in Maude language as a logical framework. Thanks to many Maude tools, formal analysis may be easily performed.</description><subject>dynamic composition</subject><subject>Equations</subject><subject>formal specification</subject><subject>Formal specifications</subject><subject>Laboratories</subject><subject>Mathematical model</subject><subject>Maude</subject><subject>Runtime</subject><subject>Semantics</subject><subject>web service adaptation</subject><subject>Web services</subject><isbn>146732678X</isbn><isbn>9781467326780</isbn><isbn>9781467326773</isbn><isbn>1467326771</isbn><isbn>9781467326797</isbn><isbn>1467326798</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2012</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNo1j09LAzEUxCMiqHU_QS_5ArvmJWn-HDxIqbZQ9WAP3kr25QUitrtsVsVvr7T1NAzzm4FhbAqiARD-dvW8WcyXjRQgG6Nn1np5xipvHWhjlTTWqnN2_W_c2yWrSnkXQvy1jRJwxe6ewmckXnrCnDKGMXd73iX-TS0vNHxlJI7dru9KPkRhH3mIoR8P5A27SOGjUHXSCXt9WGzmy3r98ria36_r7MVYz5wGGSlZ1yJqE9oECWUC7ZOVwUgCQS4mEVGC9yS1R3TKYTTWRGnUhE2Pq5mItv2Qd2H42Z7-ql8_nUpR</recordid><startdate>201209</startdate><enddate>201209</enddate><creator>Oussalah, Y.</creator><creator>Zeghib, N.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201209</creationdate><title>Maude specification of web service composition and adaptation</title><author>Oussalah, Y. ; Zeghib, N.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-58412def78bcc46abf1fc2f149f72a62e10e8df0dc2199e249cc838cd676d263</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2012</creationdate><topic>dynamic composition</topic><topic>Equations</topic><topic>formal specification</topic><topic>Formal specifications</topic><topic>Laboratories</topic><topic>Mathematical model</topic><topic>Maude</topic><topic>Runtime</topic><topic>Semantics</topic><topic>web service adaptation</topic><topic>Web services</topic><toplevel>online_resources</toplevel><creatorcontrib>Oussalah, Y.</creatorcontrib><creatorcontrib>Zeghib, N.</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>Oussalah, Y.</au><au>Zeghib, N.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Maude specification of web service composition and adaptation</atitle><btitle>Second International Conference on the Innovative Computing Technology (INTECH 2012)</btitle><stitle>INTECH</stitle><date>2012-09</date><risdate>2012</risdate><spage>317</spage><epage>376</epage><pages>317-376</pages><isbn>146732678X</isbn><isbn>9781467326780</isbn><eisbn>9781467326773</eisbn><eisbn>1467326771</eisbn><eisbn>9781467326797</eisbn><eisbn>1467326798</eisbn><abstract>Web services composition is emerging as a new model for automated interactions among distributed and heterogeneous applications. However the reuse of web services raises composition issues since they present, most of the time, mismatching at different levels such as structural, behavioral and non-functional. The resulted mismatches require adaptation to insure the correct working between web services. In this paper we present a formal specification of operations which enable to compose and adapt services at runtime. This specification is given in Maude language as a logical framework. Thanks to many Maude tools, formal analysis may be easily performed.</abstract><pub>IEEE</pub><doi>10.1109/INTECH.2012.6457792</doi><tpages>60</tpages></addata></record>
fulltext	fulltext_linktorsrc
identifier	ISBN: 146732678X
ispartof	Second International Conference on the Innovative Computing Technology (INTECH 2012), 2012, p.317-376
issn
language	eng
recordid	cdi_ieee_primary_6457792
source	IEEE Electronic Library (IEL) Conference Proceedings
subjects	dynamic composition Equations formal specification Formal specifications Laboratories Mathematical model Maude Runtime Semantics web service adaptation Web services
title	Maude specification of web service composition and adaptation
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-26T08%3A57%3A58IST&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=Maude%20specification%20of%20web%20service%20composition%20and%20adaptation&rft.btitle=Second%20International%20Conference%20on%20the%20Innovative%20Computing%20Technology%20(INTECH%202012)&rft.au=Oussalah,%20Y.&rft.date=2012-09&rft.spage=317&rft.epage=376&rft.pages=317-376&rft.isbn=146732678X&rft.isbn_list=9781467326780&rft_id=info:doi/10.1109/INTECH.2012.6457792&rft_dat=%3Cieee_6IE%3E6457792%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=9781467326773&rft.eisbn_list=1467326771&rft.eisbn_list=9781467326797&rft.eisbn_list=1467326798&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6457792&rfr_iscdi=true