Composition of Web Services : from Qualitative to Quantitative Timed Properties
Identifieur interne : 000C59 ( Hal/Checkpoint ); précédent : 000C58; suivant : 000C60Composition of Web Services : from Qualitative to Quantitative Timed Properties
Auteurs : Nawal Guermouche [France] ; Claude Godart [France]Source :
Abstract
Dealing with service composition is an important and challenging issue of distributed systems. Existing works investigate mechanisms for analyzing and synthesizing a composition based on qualitative properties which characterize operations and/or messages choreography constraints. Apart from these qualitative properties, quantitative properties such as time related features are a crucial setting to consider. Augmenting service's behavior with timed properties increases the expressiveness and brings new difficult problems. This requires defining rigorous verification and composition primitives for taking into account such properties. In this chapter, we present a formal composition and verification approach which considers quantitative timed properties assigned to qualitative properties. The chapter starts with a general introduction. Then, it introduces the concepts related to timed Web services, timed conversations and protocols. The following section introduces the notion of composition of Web services with emphasis on the temporal dimension, and defines a formal composition approach. This approach relies on the generation of a mediator which aims surpassing timed conflicts. The next section presents validation primitives based on model checking techniques to verify and validate timed compositions. An implementation of the concepts previously introduced is then described. Before concluding with a larger consideration of time implication in Web services definition and composition, and with open issues, we present a study of the state of the art.
Url:
DOI: 10.1007/978-1-4614-7518-7_16
Links toward previous steps (curation, corpus...)
Links to Exploration step
Hal:hal-00921395Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Composition of Web Services : from Qualitative to Quantitative Timed Properties</title><author><name sortKey="Guermouche, Nawal" sort="Guermouche, Nawal" uniqKey="Guermouche N" first="Nawal" last="Guermouche">Nawal Guermouche</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-388967" status="VALID"><orgName>Équipe Services et Architectures pour Réseaux Avancés</orgName><orgName type="acronym">LAAS-SARA</orgName><desc><address><addrLine> </addrLine><country key="FR"></country></address><ref type="url">https://www.laas.fr/public/fr/sara</ref></desc><listRelation><relation active="#struct-459" type="direct"></relation><relation active="#struct-5030" type="indirect"></relation><relation active="#struct-116255" type="indirect"></relation><relation active="#struct-301232" type="indirect"></relation><relation active="#struct-217752" type="indirect"></relation><relation name="UPR8001" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-459" type="direct"><org type="laboratory" xml:id="struct-459" status="VALID"><orgName>Laboratoire d'analyse et d'architecture des systèmes [Toulouse]</orgName><orgName type="acronym">LAAS</orgName><desc><address><addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine><country key="FR"></country></address><ref type="url">http://www.laas.fr</ref></desc><listRelation><relation active="#struct-5030" type="direct"></relation><relation active="#struct-116255" type="direct"></relation><relation active="#struct-301232" type="indirect"></relation><relation active="#struct-217752" type="direct"></relation><relation name="UPR8001" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-5030" type="indirect"><org type="institution" xml:id="struct-5030" status="VALID"><orgName>Institut National Polytechnique [Toulouse]</orgName><orgName type="acronym">INP</orgName><desc><address><addrLine>6 allée Émile Monso - BP 34038 - 31029 Toulouse cedex 4</addrLine><country key="FR"></country></address><ref type="url">http://www.inp-toulouse.fr/</ref></desc></org></tutelle><tutelle active="#struct-116255" type="indirect"><org type="department" xml:id="struct-116255" status="VALID"><orgName>Institut National des Sciences Appliquées - Toulouse</orgName><orgName type="acronym">INSA Toulouse</orgName><desc><address><addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine><country key="FR"></country></address><ref type="url">http://www.insa-toulouse.fr</ref></desc><listRelation><relation active="#struct-301232" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-301232" type="indirect"><org type="institution" xml:id="struct-301232" status="VALID"><orgName>Institut National des Sciences Appliquées</orgName><orgName type="acronym">INSA</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-217752" type="indirect"><org type="institution" xml:id="struct-217752" status="VALID"><orgName>Université Paul Sabatier - Toulouse 3</orgName><orgName type="acronym">UPS</orgName><desc><address><addrLine>118 route de Narbonne - 31062 Toulouse</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-tlse3.fr/</ref></desc></org></tutelle><tutelle name="UPR8001" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Godart, Claude" sort="Godart, Claude" uniqKey="Godart C" first="Claude" last="Godart">Claude Godart</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-107894" status="OLD"><idno type="RNSR">200921239B</idno><orgName>Services and Cooperation</orgName><orgName type="acronym">SCORE</orgName><date type="end">2014-07-31</date><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/score</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-00921395</idno><idno type="halId">hal-00921395</idno><idno type="halUri">https://hal.archives-ouvertes.fr/hal-00921395</idno><idno type="url">https://hal.archives-ouvertes.fr/hal-00921395</idno><idno type="doi">10.1007/978-1-4614-7518-7_16</idno><date when="2014-01-01">2014-01-01</date><idno type="wicri:Area/Hal/Corpus">001721</idno><idno type="wicri:Area/Hal/Curation">001721</idno><idno type="wicri:Area/Hal/Checkpoint">000C59</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000C59</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Composition of Web Services : from Qualitative to Quantitative Timed Properties</title><author><name sortKey="Guermouche, Nawal" sort="Guermouche, Nawal" uniqKey="Guermouche N" first="Nawal" last="Guermouche">Nawal Guermouche</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-388967" status="VALID"><orgName>Équipe Services et Architectures pour Réseaux Avancés</orgName><orgName type="acronym">LAAS-SARA</orgName><desc><address><addrLine> </addrLine><country key="FR"></country></address><ref type="url">https://www.laas.fr/public/fr/sara</ref></desc><listRelation><relation active="#struct-459" type="direct"></relation><relation active="#struct-5030" type="indirect"></relation><relation active="#struct-116255" type="indirect"></relation><relation active="#struct-301232" type="indirect"></relation><relation active="#struct-217752" type="indirect"></relation><relation name="UPR8001" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-459" type="direct"><org type="laboratory" xml:id="struct-459" status="VALID"><orgName>Laboratoire d'analyse et d'architecture des systèmes [Toulouse]</orgName><orgName type="acronym">LAAS</orgName><desc><address><addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine><country key="FR"></country></address><ref type="url">http://www.laas.fr</ref></desc><listRelation><relation active="#struct-5030" type="direct"></relation><relation active="#struct-116255" type="direct"></relation><relation active="#struct-301232" type="indirect"></relation><relation active="#struct-217752" type="direct"></relation><relation name="UPR8001" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-5030" type="indirect"><org type="institution" xml:id="struct-5030" status="VALID"><orgName>Institut National Polytechnique [Toulouse]</orgName><orgName type="acronym">INP</orgName><desc><address><addrLine>6 allée Émile Monso - BP 34038 - 31029 Toulouse cedex 4</addrLine><country key="FR"></country></address><ref type="url">http://www.inp-toulouse.fr/</ref></desc></org></tutelle><tutelle active="#struct-116255" type="indirect"><org type="department" xml:id="struct-116255" status="VALID"><orgName>Institut National des Sciences Appliquées - Toulouse</orgName><orgName type="acronym">INSA Toulouse</orgName><desc><address><addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine><country key="FR"></country></address><ref type="url">http://www.insa-toulouse.fr</ref></desc><listRelation><relation active="#struct-301232" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-301232" type="indirect"><org type="institution" xml:id="struct-301232" status="VALID"><orgName>Institut National des Sciences Appliquées</orgName><orgName type="acronym">INSA</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-217752" type="indirect"><org type="institution" xml:id="struct-217752" status="VALID"><orgName>Université Paul Sabatier - Toulouse 3</orgName><orgName type="acronym">UPS</orgName><desc><address><addrLine>118 route de Narbonne - 31062 Toulouse</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-tlse3.fr/</ref></desc></org></tutelle><tutelle name="UPR8001" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Godart, Claude" sort="Godart, Claude" uniqKey="Godart C" first="Claude" last="Godart">Claude Godart</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-107894" status="OLD"><idno type="RNSR">200921239B</idno><orgName>Services and Cooperation</orgName><orgName type="acronym">SCORE</orgName><date type="end">2014-07-31</date><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/score</ref></desc><listRelation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-423085" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-423085" type="direct"><org type="department" xml:id="struct-423085" status="VALID"><orgName>Department of Networks, Systems and Services</orgName><orgName type="acronym">LORIA - NSS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/networks-systems-and-services</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author></analytic><idno type="DOI">10.1007/978-1-4614-7518-7_16</idno></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Dealing with service composition is an important and challenging issue of distributed systems. Existing works investigate mechanisms for analyzing and synthesizing a composition based on qualitative properties which characterize operations and/or messages choreography constraints. Apart from these qualitative properties, quantitative properties such as time related features are a crucial setting to consider. Augmenting service's behavior with timed properties increases the expressiveness and brings new difficult problems. This requires defining rigorous verification and composition primitives for taking into account such properties. In this chapter, we present a formal composition and verification approach which considers quantitative timed properties assigned to qualitative properties. The chapter starts with a general introduction. Then, it introduces the concepts related to timed Web services, timed conversations and protocols. The following section introduces the notion of composition of Web services with emphasis on the temporal dimension, and defines a formal composition approach. This approach relies on the generation of a mediator which aims surpassing timed conflicts. The next section presents validation primitives based on model checking techniques to verify and validate timed compositions. An implementation of the concepts previously introduced is then described. Before concluding with a larger consideration of time implication in Web services definition and composition, and with open issues, we present a study of the state of the art.</div></front></TEI><hal api="V3"><titleStmt><title xml:lang="en">Composition of Web Services : from Qualitative to Quantitative Timed Properties</title><author role="aut"><persName><forename type="first">Nawal</forename><surname>Guermouche</surname></persName><email>Nawal.Guermouche@laas.fr</email><ptr type="url" target="http://homepages.laas.fr/nguermou/"></ptr><idno type="halauthor">782218</idno><orgName ref="#struct-388967"></orgName><affiliation ref="#struct-388967"></affiliation></author><author role="aut"><persName><forename type="first">Claude</forename><surname>Godart</surname></persName><email>Claude.Godart@loria.fr</email><idno type="halauthor">59021</idno><affiliation ref="#struct-107894"></affiliation></author><editor role="depositor"><persName><forename>Nawal</forename><surname>Guermouche</surname></persName><email>nawal.guermouche@laas.fr</email></editor></titleStmt><editionStmt><edition n="v1" type="current"><date type="whenSubmitted">2014-01-21 16:27:00</date><date type="whenModified">2015-09-22 01:12:36</date><date type="whenReleased">2014-01-28 15:08:28</date><date type="whenProduced">2014-01-01</date><date type="whenEndEmbargoed">2014-01-21</date><ref type="file" target="https://hal.archives-ouvertes.fr/hal-00921395/document"><date notBefore="2014-01-21"></date></ref><ref type="file" subtype="author" n="1" target="https://hal.archives-ouvertes.fr/hal-00921395/file/WS-Foundations-Guermouche.pdf"><date notBefore="2014-01-21"></date></ref></edition><respStmt><resp>contributor</resp><name key="113834"><persName><forename>Nawal</forename><surname>Guermouche</surname></persName><email>nawal.guermouche@laas.fr</email></name></respStmt></editionStmt><publicationStmt><distributor>CCSD</distributor><idno type="halId">hal-00921395</idno><idno type="halUri">https://hal.archives-ouvertes.fr/hal-00921395</idno><idno type="halBibtex">guermouche:hal-00921395</idno><idno type="halRefHtml">Athman Bouguettaya and Quan Z. Sheng and Florian Daniel. Web Services Foundations, Springer, pp.399-422, 2014, 978-1-4614-7517-0. <10.1007/978-1-4614-7518-7_16></idno><idno type="halRef">Athman Bouguettaya and Quan Z. Sheng and Florian Daniel. Web Services Foundations, Springer, pp.399-422, 2014, 978-1-4614-7517-0. <10.1007/978-1-4614-7518-7_16></idno></publicationStmt><seriesStmt><idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno><idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno><idno type="stamp" n="INRIA-LORRAINE">INRIA Nancy - Grand Est</idno><idno type="stamp" n="LORIA2">Publications du LORIA</idno><idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno><idno type="stamp" n="LORIA">LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno><idno type="stamp" n="LORIA-NSS" p="LORIA">Réseaux, systèmes et services</idno><idno type="stamp" n="LAAS-SARA" p="LAAS-RESEAUX-ET-COMMUNICATIONS">Équipe Services et Architectures pour Réseaux Avancés</idno><idno type="stamp" n="LAAS">Laboratoire d'analyse et d'architecture des systèmes</idno><idno type="stamp" n="INPT">Institut National Polytechnique de Toulouse</idno><idno type="stamp" n="LAAS-RESEAUX-ET-COMMUNICATIONS" p="LAAS">LAAS-Réseaux et Communications</idno><idno type="stamp" n="UNIV-TLSE3">Université Paul Sabatier - Toulouse III</idno><idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno><idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno></seriesStmt><notesStmt><note type="audience" n="2">International</note><note type="popular" n="0">No</note></notesStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Composition of Web Services : from Qualitative to Quantitative Timed Properties</title><author role="aut"><persName><forename type="first">Nawal</forename><surname>Guermouche</surname></persName><email>Nawal.Guermouche@laas.fr</email><ptr type="url" target="http://homepages.laas.fr/nguermou/"></ptr><idno type="halAuthorId">782218</idno><orgName ref="#struct-388967"></orgName><affiliation ref="#struct-388967"></affiliation></author><author role="aut"><persName><forename type="first">Claude</forename><surname>Godart</surname></persName><email>Claude.Godart@loria.fr</email><idno type="halAuthorId">59021</idno><affiliation ref="#struct-107894"></affiliation></author></analytic><monogr><idno type="isbn">978-1-4614-7517-0</idno><idno type="localRef">Rapport LAAS n° 14012</idno><title level="m">Web Services Foundations</title><editor>Athman Bouguettaya and Quan Z. Sheng and Florian Daniel</editor><imprint><publisher>Springer</publisher><biblScope unit="pp">399-422</biblScope><date type="datePub">2014-01-01</date></imprint></monogr><idno type="doi">10.1007/978-1-4614-7518-7_16</idno></biblStruct></sourceDesc><profileDesc><langUsage><language ident="en">English</language></langUsage><textClass><classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode><classCode scheme="halTypology" n="COUV">Book section</classCode></textClass><abstract xml:lang="en">Dealing with service composition is an important and challenging issue of distributed systems. Existing works investigate mechanisms for analyzing and synthesizing a composition based on qualitative properties which characterize operations and/or messages choreography constraints. Apart from these qualitative properties, quantitative properties such as time related features are a crucial setting to consider. Augmenting service's behavior with timed properties increases the expressiveness and brings new difficult problems. This requires defining rigorous verification and composition primitives for taking into account such properties. In this chapter, we present a formal composition and verification approach which considers quantitative timed properties assigned to qualitative properties. The chapter starts with a general introduction. Then, it introduces the concepts related to timed Web services, timed conversations and protocols. The following section introduces the notion of composition of Web services with emphasis on the temporal dimension, and defines a formal composition approach. This approach relies on the generation of a mediator which aims surpassing timed conflicts. The next section presents validation primitives based on model checking techniques to verify and validate timed compositions. An implementation of the concepts previously introduced is then described. Before concluding with a larger consideration of time implication in Web services definition and composition, and with open issues, we present a study of the state of the art.</abstract></profileDesc></hal></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000C59 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd -nk 000C59 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Hal
|étape= Checkpoint
|type= RBID
|clé= Hal:hal-00921395
|texte= Composition of Web Services : from Qualitative to Quantitative Timed Properties
}}
| This area was generated with Dilib version V0.6.33. |  |