Retracted: Towards Formal Verification of Web Service Composition
Identifieur interne : 002824 ( Istex/Corpus ); précédent : 002823; suivant : 002825Retracted: Towards Formal Verification of Web Service Composition
Auteurs : Mohsen Rouached ; Olivier Perrin ; Claude GodartSource :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition proposals, such as BPML, WSBPEL, WSCI, and OWL-S, provide solutions for describing the control and data flows in Web service composition. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for analysis and verification. Therefore, there is a growing interest for the verification techniques which enable designers to test and repair design errors even before actual running of the service, or allow designers to detect erroneous properties and formally verify whether the service process design does have certain desired properties. In this paper, we propose to verify Web services composition using an event driven approach. We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored.
Url:
DOI: 10.1007/11841760_18
Links to Exploration step
ISTEX:A9ED96E7B0289A35E45DFC1FB21D731E86EEFD64Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Retracted: Towards Formal Verification of Web Service Composition</title><author><name sortKey="Rouached, Mohsen" sort="Rouached, Mohsen" uniqKey="Rouached M" first="Mohsen" last="Rouached">Mohsen Rouached</name><affiliation><mods:affiliation>LORIA-INRIA-UMR 7503, BP 239, F-54506, Vandœuvre-les-Nancy Cedex, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: mohsen.rouached@loria.fr</mods:affiliation></affiliation></author><author><name sortKey="Perrin, Olivier" sort="Perrin, Olivier" uniqKey="Perrin O" first="Olivier" last="Perrin">Olivier Perrin</name><affiliation><mods:affiliation>LORIA-INRIA-UMR 7503, BP 239, F-54506, Vandœuvre-les-Nancy Cedex, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: olivier.perrin@loria.fr</mods:affiliation></affiliation></author><author><name sortKey="Godart, Claude" sort="Godart, Claude" uniqKey="Godart C" first="Claude" last="Godart">Claude Godart</name><affiliation><mods:affiliation>LORIA-INRIA-UMR 7503, BP 239, F-54506, Vandœuvre-les-Nancy Cedex, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: claude.godart@loria.fr</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:A9ED96E7B0289A35E45DFC1FB21D731E86EEFD64</idno><date when="2006" year="2006">2006</date><idno type="doi">10.1007/11841760_18</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-ZTKSJKP2-8/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">002824</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002824</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Retracted: Towards Formal Verification of Web Service Composition</title><author><name sortKey="Rouached, Mohsen" sort="Rouached, Mohsen" uniqKey="Rouached M" first="Mohsen" last="Rouached">Mohsen Rouached</name><affiliation><mods:affiliation>LORIA-INRIA-UMR 7503, BP 239, F-54506, Vandœuvre-les-Nancy Cedex, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: mohsen.rouached@loria.fr</mods:affiliation></affiliation></author><author><name sortKey="Perrin, Olivier" sort="Perrin, Olivier" uniqKey="Perrin O" first="Olivier" last="Perrin">Olivier Perrin</name><affiliation><mods:affiliation>LORIA-INRIA-UMR 7503, BP 239, F-54506, Vandœuvre-les-Nancy Cedex, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: olivier.perrin@loria.fr</mods:affiliation></affiliation></author><author><name sortKey="Godart, Claude" sort="Godart, Claude" uniqKey="Godart C" first="Claude" last="Godart">Claude Godart</name><affiliation><mods:affiliation>LORIA-INRIA-UMR 7503, BP 239, F-54506, Vandœuvre-les-Nancy Cedex, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: claude.godart@loria.fr</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition proposals, such as BPML, WSBPEL, WSCI, and OWL-S, provide solutions for describing the control and data flows in Web service composition. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for analysis and verification. Therefore, there is a growing interest for the verification techniques which enable designers to test and repair design errors even before actual running of the service, or allow designers to detect erroneous properties and formally verify whether the service process design does have certain desired properties. In this paper, we propose to verify Web services composition using an event driven approach. We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored.</div></front></TEI><istex><corpusName>springer-ebooks</corpusName><author><json:item><name>Mohsen Rouached</name><affiliations><json:string>LORIA-INRIA-UMR 7503, BP 239, F-54506, Vandœuvre-les-Nancy Cedex, France</json:string><json:string>E-mail: mohsen.rouached@loria.fr</json:string></affiliations></json:item><json:item><name>Olivier Perrin</name><affiliations><json:string>LORIA-INRIA-UMR 7503, BP 239, F-54506, Vandœuvre-les-Nancy Cedex, France</json:string><json:string>E-mail: olivier.perrin@loria.fr</json:string></affiliations></json:item><json:item><name>Claude Godart</name><affiliations><json:string>LORIA-INRIA-UMR 7503, BP 239, F-54506, Vandœuvre-les-Nancy Cedex, France</json:string><json:string>E-mail: claude.godart@loria.fr</json:string></affiliations></json:item></author><arkIstex>ark:/67375/HCB-ZTKSJKP2-8</arkIstex><language><json:string>eng</json:string></language><originalGenre><json:string>OriginalPaper</json:string></originalGenre><abstract>Abstract: Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition proposals, such as BPML, WSBPEL, WSCI, and OWL-S, provide solutions for describing the control and data flows in Web service composition. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for analysis and verification. Therefore, there is a growing interest for the verification techniques which enable designers to test and repair design errors even before actual running of the service, or allow designers to detect erroneous properties and formally verify whether the service process design does have certain desired properties. In this paper, we propose to verify Web services composition using an event driven approach. We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored.</abstract><qualityIndicators><refBibsNative>false</refBibsNative><abstractWordCount>152</abstractWordCount><abstractCharCount>1037</abstractCharCount><keywordCount>0</keywordCount><score>8.824</score><pdfWordCount>5976</pdfWordCount><pdfCharCount>38028</pdfCharCount><pdfVersion>1.6</pdfVersion><pdfPageCount>17</pdfPageCount><pdfPageSize>430 x 660 pts</pdfPageSize></qualityIndicators><title>Retracted: Towards Formal Verification of Web Service Composition</title><erratumOf><json:string>10.1007/11841760_43</json:string></erratumOf><chapterId><json:string>18</json:string><json:string>Chap18</json:string></chapterId><genre><json:string>conference</json:string></genre><serie><title>Lecture Notes in Computer Science</title><language><json:string>unknown</json:string></language><copyrightDate>2006</copyrightDate><issn><json:string>0302-9743</json:string></issn><eissn><json:string>1611-3349</json:string></eissn><editor><json:item><name>David Hutchison</name><affiliations><json:string>Lancaster University, UK</json:string></affiliations></json:item><json:item><name>Takeo Kanade</name><affiliations><json:string>Carnegie Mellon University, Pittsburgh, PA, USA</json:string></affiliations></json:item><json:item><name>Josef Kittler</name><affiliations><json:string>University of Surrey, Guildford, UK</json:string></affiliations></json:item><json:item><name>Jon M. Kleinberg</name><affiliations><json:string>Cornell University, Ithaca, NY, USA</json:string></affiliations></json:item><json:item><name>Friedemann Mattern</name><affiliations><json:string>ETH Zurich, Switzerland</json:string></affiliations></json:item><json:item><name>John C. Mitchell</name><affiliations><json:string>Stanford University, CA, USA</json:string></affiliations></json:item><json:item><name>Moni Naor</name><affiliations><json:string>Weizmann Institute of Science, Rehovot, Israel</json:string></affiliations></json:item><json:item><name>Oscar Nierstrasz</name><affiliations><json:string>University of Bern, Switzerland</json:string></affiliations></json:item><json:item><name>C. Pandu Rangan</name><affiliations><json:string>Indian Institute of Technology, Madras, India</json:string></affiliations></json:item><json:item><name>Bernhard Steffen</name><affiliations><json:string>University of Dortmund, Germany</json:string></affiliations></json:item><json:item><name>Madhu Sudan</name><affiliations><json:string>Massachusetts Institute of Technology, MA, USA</json:string></affiliations></json:item><json:item><name>Demetri Terzopoulos</name><affiliations><json:string>University of California, Los Angeles, CA, USA</json:string></affiliations></json:item><json:item><name>Dough Tygar</name><affiliations><json:string>University of California, Berkeley, CA, USA</json:string></affiliations></json:item><json:item><name>Moshe Y. Vardi</name><affiliations><json:string>Rice University, Houston, TX, USA</json:string></affiliations></json:item><json:item><name>Gerhard Weikum</name><affiliations><json:string>Max-Planck Institute of Computer Science, Saarbruecken, Germany</json:string></affiliations></json:item></editor></serie><host><title>Business Process Management</title><language><json:string>unknown</json:string></language><copyrightDate>2006</copyrightDate><doi><json:string>10.1007/11841760</json:string></doi><issn><json:string>0302-9743</json:string></issn><eissn><json:string>1611-3349</json:string></eissn><eisbn><json:string>978-3-540-38903-3</json:string></eisbn><bookId><json:string>978-3-540-38903-3</json:string></bookId><isbn><json:string>978-3-540-38901-9</json:string></isbn><volume>4102</volume><pages><first>257</first><last>273</last></pages><genre><json:string>book-series</json:string></genre><editor><json:item><name>Schahram Dustdar</name><affiliations><json:string>Distributed Systems Group, Information Systems Institute, Vienna University of Technology, Austria</json:string><json:string>E-mail: dustdar@infosys.tuwien.ac.at</json:string></affiliations></json:item><json:item><name>José Luiz Fiadeiro</name><affiliations><json:string>Department of Computer Science, University of Leicester, University Road, LE1 7RH, Leicester, UK</json:string><json:string>E-mail: jose@mcs.le.ac.uk</json:string></affiliations></json:item><json:item><name>Amit P. Sheth</name><affiliations><json:string>Kno.e.sis Center, Dept. of Computer Science & Engineering, Wright State University, 3640 Colonel Glenn Hwy, Dayton, Ohio</json:string><json:string>E-mail: amit.sheth@wright.edu</json:string></affiliations></json:item></editor><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Information Storage and Retrieval</value></json:item><json:item><value>Information Systems Applications (incl. Internet)</value></json:item><json:item><value>User Interfaces and Human Computer Interaction</value></json:item><json:item><value>Computers and Society</value></json:item><json:item><value>Management of Computing and Information Systems</value></json:item><json:item><value>Business Information Systems</value></json:item></subject></host><ark><json:string>ark:/67375/HCB-ZTKSJKP2-8</json:string></ark><publicationDate>2006</publicationDate><copyrightDate>2006</copyrightDate><doi><json:string>10.1007/11841760_18</json:string></doi><id>A9ED96E7B0289A35E45DFC1FB21D731E86EEFD64</id><score>1</score><fulltext><json:item><extension>pdf</extension><original>true</original><mimetype>application/pdf</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-ZTKSJKP2-8/fulltext.pdf</uri></json:item><json:item><extension>zip</extension><original>false</original><mimetype>application/zip</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-ZTKSJKP2-8/bundle.zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/ark:/67375/HCB-ZTKSJKP2-8/fulltext.tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Retracted: Towards Formal Verification of Web Service Composition</title></titleStmt><publicationStmt><authority>ISTEX</authority><availability><licence>Springer-Verlag Berlin Heidelberg</licence></availability><date when="2006">2006</date></publicationStmt><notesStmt><note type="conference" source="proceedings" scheme="https://content-type.data.istex.fr/ark:/67375/XTP-BFHXPBJJ-3">conference</note><note type="publication-type" subtype="book-series" scheme="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</note></notesStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Retracted: Towards Formal Verification of Web Service Composition</title><author><persName><forename type="first">Mohsen</forename><surname>Rouached</surname></persName><email>mohsen.rouached@loria.fr</email><affiliation><orgName type="institution">LORIA-INRIA-UMR 7503</orgName><address><postBox>BP 239</postBox><postCode>F-54506</postCode><settlement>Vandœuvre-les-Nancy Cedex</settlement><country key="FR">FRANCE</country></address></affiliation></author><author><persName><forename type="first">Olivier</forename><surname>Perrin</surname></persName><email>olivier.perrin@loria.fr</email><affiliation><orgName type="institution">LORIA-INRIA-UMR 7503</orgName><address><postBox>BP 239</postBox><postCode>F-54506</postCode><settlement>Vandœuvre-les-Nancy Cedex</settlement><country key="FR">FRANCE</country></address></affiliation></author><author><persName><forename type="first">Claude</forename><surname>Godart</surname></persName><email>claude.godart@loria.fr</email><affiliation><orgName type="institution">LORIA-INRIA-UMR 7503</orgName><address><postBox>BP 239</postBox><postCode>F-54506</postCode><settlement>Vandœuvre-les-Nancy Cedex</settlement><country key="FR">FRANCE</country></address></affiliation></author><idno type="istex">A9ED96E7B0289A35E45DFC1FB21D731E86EEFD64</idno><idno type="ark">ark:/67375/HCB-ZTKSJKP2-8</idno><idno type="DOI">10.1007/11841760_18</idno></analytic><monogr><title level="m" type="main">Business Process Management</title><title level="m" type="sub">4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings</title><title level="m" type="part">Service Composition</title><idno type="DOI">10.1007/11841760</idno><idno type="book-id">978-3-540-38903-3</idno><idno type="ISBN">978-3-540-38901-9</idno><idno type="eISBN">978-3-540-38903-3</idno><idno type="chapter-id">Chap18</idno><idno type="part-id">Part6</idno><editor><persName><forename type="first">Schahram</forename><surname>Dustdar</surname></persName><email>dustdar@infosys.tuwien.ac.at</email><affiliation><orgName type="department">Distributed Systems Group, Information Systems Institute</orgName><orgName type="institution">Vienna University of Technology</orgName><address><country key="AT">AUSTRIA</country></address></affiliation></editor><editor><persName><forename type="first">José</forename><forename type="first">Luiz</forename><surname>Fiadeiro</surname></persName><email>jose@mcs.le.ac.uk</email><affiliation><orgName type="department">Department of Computer Science</orgName><orgName type="institution">University of Leicester</orgName><address><street>University Road</street><postCode>LE1 7RH</postCode><settlement>Leicester</settlement><country key="GB">UNITED KINGDOM</country></address></affiliation></editor><editor><persName><forename type="first">Amit</forename><forename type="first">P.</forename><surname>Sheth</surname></persName><email>amit.sheth@wright.edu</email><affiliation><orgName type="department">Kno.e.sis Center, Dept. of Computer Science & Engineering</orgName><orgName type="institution">Wright State University</orgName><address><street>3640 Colonel Glenn Hwy</street><settlement>Dayton</settlement><country key=""></country></address></affiliation></editor><imprint><biblScope unit="vol">4102</biblScope><biblScope unit="page" from="257">257</biblScope><biblScope unit="page" to="273">273</biblScope><biblScope unit="chapter-count">43</biblScope><biblScope unit="part-chapter-count">3</biblScope></imprint></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><editor><persName><forename type="first">David</forename><surname>Hutchison</surname></persName><affiliation><orgName type="institution">Lancaster University</orgName><address><country key="GB">UNITED KINGDOM</country></address></affiliation></editor><editor><persName><forename type="first">Takeo</forename><surname>Kanade</surname></persName><affiliation><orgName type="institution">Carnegie Mellon University</orgName><address><settlement>Pittsburgh</settlement><region>PA</region><country key="US">UNITED STATES</country></address></affiliation></editor><editor><persName><forename type="first">Josef</forename><surname>Kittler</surname></persName><affiliation><orgName type="institution">University of Surrey</orgName><address><settlement>Guildford</settlement><country key="GB">UNITED KINGDOM</country></address></affiliation></editor><editor><persName><forename type="first">Jon</forename><forename type="first">M.</forename><surname>Kleinberg</surname></persName><affiliation><orgName type="institution">Cornell University</orgName><address><settlement>Ithaca</settlement><region>NY</region><country key="US">UNITED STATES</country></address></affiliation></editor><editor><persName><forename type="first">Friedemann</forename><surname>Mattern</surname></persName><affiliation><orgName type="institution">ETH Zurich</orgName><address><country key="CH">SWITZERLAND</country></address></affiliation></editor><editor><persName><forename type="first">John</forename><forename type="first">C.</forename><surname>Mitchell</surname></persName><affiliation><orgName type="institution">Stanford University</orgName><address><settlement>CA</settlement><country key="US">UNITED STATES</country></address></affiliation></editor><editor><persName><forename type="first">Moni</forename><surname>Naor</surname></persName><affiliation><orgName type="institution">Weizmann Institute of Science</orgName><address><settlement>Rehovot</settlement><country key="IL">ISRAEL</country></address></affiliation></editor><editor><persName><forename type="first">Oscar</forename><surname>Nierstrasz</surname></persName><affiliation><orgName type="institution">University of Bern</orgName><address><country key="CH">SWITZERLAND</country></address></affiliation></editor><editor><persName><forename type="first">C.</forename><surname>Pandu Rangan</surname></persName><affiliation><orgName type="institution">Indian Institute of Technology</orgName><address><settlement>Madras</settlement><country key="IN">INDIA</country></address></affiliation></editor><editor><persName><forename type="first">Bernhard</forename><surname>Steffen</surname></persName><affiliation><orgName type="institution">University of Dortmund</orgName><address><country key="DE">GERMANY</country></address></affiliation></editor><editor><persName><forename type="first">Madhu</forename><surname>Sudan</surname></persName><affiliation><orgName type="institution">Massachusetts Institute of Technology</orgName><address><settlement>MA</settlement><country key="US">UNITED STATES</country></address></affiliation></editor><editor><persName><forename type="first">Demetri</forename><surname>Terzopoulos</surname></persName><affiliation><orgName type="institution">University of California</orgName><address><settlement>Los Angeles</settlement><region>CA</region><country key="US">UNITED STATES</country></address></affiliation></editor><editor><persName><forename type="first">Dough</forename><surname>Tygar</surname></persName><affiliation><orgName type="institution">University of California</orgName><address><settlement>Berkeley</settlement><region>CA</region><country key="US">UNITED STATES</country></address></affiliation></editor><editor><persName><forename type="first">Moshe</forename><forename type="first">Y.</forename><surname>Vardi</surname></persName><affiliation><orgName type="institution">Rice University</orgName><address><settlement>Houston</settlement><region>TX</region><country key="US">UNITED STATES</country></address></affiliation></editor><editor><persName><forename type="first">Gerhard</forename><surname>Weikum</surname></persName><affiliation><orgName type="institution">Max-Planck Institute of Computer Science</orgName><address><settlement>Saarbruecken</settlement><country key="DE">GERMANY</country></address></affiliation></editor><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="seriesID">558</idno></series></biblStruct></sourceDesc></fileDesc><profileDesc><abstract xml:lang="en"><head>Abstract</head><p>Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition proposals, such as BPML, WSBPEL, WSCI, and OWL-S, provide solutions for describing the control and data flows in Web service composition. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for analysis and verification. Therefore, there is a growing interest for the verification techniques which enable designers to test and repair design errors even before actual running of the service, or allow designers to detect erroneous properties and formally verify whether the service process design does have certain desired properties.</p><p>In this paper, we propose to verify Web services composition using an event driven approach. We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored.</p></abstract><textClass ana="subject"><keywords scheme="book-subject-collection"><list><label>SUCO11645</label><item><term>Computer Science</term></item></list></keywords></textClass><textClass ana="subject"><keywords scheme="book-subject"><list><label>I</label><item><term type="Primary">Computer Science</term></item><label>I18032</label><item><term type="Secondary" subtype="priority-1">Information Storage and Retrieval</term></item><label>I18040</label><item><term type="Secondary" subtype="priority-2">Information Systems Applications (incl. Internet)</term></item><label>I18067</label><item><term type="Secondary" subtype="priority-3">User Interfaces and Human Computer Interaction</term></item><label>I24040</label><item><term type="Secondary" subtype="priority-4">Computers and Society</term></item><label>I24067</label><item><term type="Secondary" subtype="priority-5">Management of Computing and Information Systems</term></item><label>W26007</label><item><term type="Secondary" subtype="priority-6">Business Information Systems</term></item></list></keywords></textClass><langUsage><language ident="EN"></language></langUsage></profileDesc></teiHeader></istex:fulltextTEI><json:item><extension>txt</extension><original>false</original><mimetype>text/plain</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-ZTKSJKP2-8/fulltext.txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="corpus springer-ebooks not found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType><istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName><PublisherLocation>Berlin, Heidelberg</PublisherLocation></PublisherInfo><Series><SeriesInfo SeriesType="Series" TocLevels="0"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesElectronicISSN>1611-3349</SeriesElectronicISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle></SeriesInfo><SeriesHeader><EditorGroup><Editor AffiliationIDS="Aff1"><EditorName DisplayOrder="Western"><GivenName>David</GivenName><FamilyName>Hutchison</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff2"><EditorName DisplayOrder="Western"><GivenName>Takeo</GivenName><FamilyName>Kanade</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff3"><EditorName DisplayOrder="Western"><GivenName>Josef</GivenName><FamilyName>Kittler</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff4"><EditorName DisplayOrder="Western"><GivenName>Jon</GivenName><GivenName>M.</GivenName><FamilyName>Kleinberg</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff5"><EditorName DisplayOrder="Western"><GivenName>Friedemann</GivenName><FamilyName>Mattern</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff6"><EditorName DisplayOrder="Western"><GivenName>John</GivenName><GivenName>C.</GivenName><FamilyName>Mitchell</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff7"><EditorName DisplayOrder="Western"><GivenName>Moni</GivenName><FamilyName>Naor</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff8"><EditorName DisplayOrder="Western"><GivenName>Oscar</GivenName><FamilyName>Nierstrasz</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff9"><EditorName DisplayOrder="Western"><GivenName>C.</GivenName><FamilyName>Pandu Rangan</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff10"><EditorName DisplayOrder="Western"><GivenName>Bernhard</GivenName><FamilyName>Steffen</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff11"><EditorName DisplayOrder="Western"><GivenName>Madhu</GivenName><FamilyName>Sudan</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff12"><EditorName DisplayOrder="Western"><GivenName>Demetri</GivenName><FamilyName>Terzopoulos</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff13"><EditorName DisplayOrder="Western"><GivenName>Dough</GivenName><FamilyName>Tygar</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff14"><EditorName DisplayOrder="Western"><GivenName>Moshe</GivenName><GivenName>Y.</GivenName><FamilyName>Vardi</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff15"><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName><FamilyName>Weikum</FamilyName></EditorName></Editor><Affiliation ID="Aff1"><OrgName>Lancaster University</OrgName><OrgAddress><Country>UK</Country></OrgAddress></Affiliation><Affiliation ID="Aff2"><OrgName>Carnegie Mellon University</OrgName><OrgAddress><City>Pittsburgh</City><State>PA</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff3"><OrgName>University of Surrey</OrgName><OrgAddress><City>Guildford</City><Country>UK</Country></OrgAddress></Affiliation><Affiliation ID="Aff4"><OrgName>Cornell University</OrgName><OrgAddress><City>Ithaca</City><State>NY</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff5"><OrgName>ETH Zurich</OrgName><OrgAddress><Country>Switzerland</Country></OrgAddress></Affiliation><Affiliation ID="Aff6"><OrgName>Stanford University</OrgName><OrgAddress><City>CA</City><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff7"><OrgName>Weizmann Institute of Science</OrgName><OrgAddress><City>Rehovot</City><Country>Israel</Country></OrgAddress></Affiliation><Affiliation ID="Aff8"><OrgName>University of Bern</OrgName><OrgAddress><Country>Switzerland</Country></OrgAddress></Affiliation><Affiliation ID="Aff9"><OrgName>Indian Institute of Technology</OrgName><OrgAddress><City>Madras</City><Country>India</Country></OrgAddress></Affiliation><Affiliation ID="Aff10"><OrgName>University of Dortmund</OrgName><OrgAddress><Country>Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff11"><OrgName>Massachusetts Institute of Technology</OrgName><OrgAddress><City>MA</City><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff12"><OrgName>University of California</OrgName><OrgAddress><City>Los Angeles</City><State>CA</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff13"><OrgName>University of California</OrgName><OrgAddress><City>Berkeley</City><State>CA</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff14"><OrgName>Rice University</OrgName><OrgAddress><City>Houston</City><State>TX</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff15"><OrgName>Max-Planck Institute of Computer Science</OrgName><OrgAddress><City>Saarbruecken</City><Country>Germany</Country></OrgAddress></Affiliation></EditorGroup></SeriesHeader><Book Language="En"><BookInfo BookProductType="Proceedings" ContainsESM="No" Language="En" MediaType="eBook" NumberingDepth="2" NumberingStyle="ContentOnly" OutputMedium="All" TocLevels="0"><BookID>978-3-540-38903-3</BookID><BookTitle>Business Process Management</BookTitle><BookSubTitle>4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings</BookSubTitle><BookVolumeNumber>4102</BookVolumeNumber><BookSequenceNumber>4102</BookSequenceNumber><BookDOI>10.1007/11841760</BookDOI><BookTitleID>141235</BookTitleID><BookPrintISBN>978-3-540-38901-9</BookPrintISBN><BookElectronicISBN>978-3-540-38903-3</BookElectronicISBN><BookChapterCount>43</BookChapterCount><BookCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2006</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject><BookSubject Code="I18032" Priority="1" Type="Secondary">Information Storage and Retrieval</BookSubject><BookSubject Code="I18040" Priority="2" Type="Secondary">Information Systems Applications (incl. Internet)</BookSubject><BookSubject Code="I18067" Priority="3" Type="Secondary">User Interfaces and Human Computer Interaction</BookSubject><BookSubject Code="I24040" Priority="4" Type="Secondary">Computers and Society</BookSubject><BookSubject Code="I24067" Priority="5" Type="Secondary">Management of Computing and Information Systems</BookSubject><BookSubject Code="W26007" Priority="6" Type="Secondary">Business Information Systems</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup><BookContext><SeriesID>558</SeriesID></BookContext></BookInfo><BookHeader><EditorGroup><Editor AffiliationIDS="Aff16"><EditorName DisplayOrder="Western"><GivenName>Schahram</GivenName><FamilyName>Dustdar</FamilyName></EditorName><Contact><Email>dustdar@infosys.tuwien.ac.at</Email></Contact></Editor><Editor AffiliationIDS="Aff17"><EditorName DisplayOrder="Western"><GivenName>José</GivenName><GivenName>Luiz</GivenName><FamilyName>Fiadeiro</FamilyName></EditorName><Contact><Email>jose@mcs.le.ac.uk</Email></Contact></Editor><Editor AffiliationIDS="Aff18"><EditorName DisplayOrder="Western"><GivenName>Amit</GivenName><GivenName>P.</GivenName><FamilyName>Sheth</FamilyName></EditorName><Contact><Email>amit.sheth@wright.edu</Email></Contact></Editor><Affiliation ID="Aff16"><OrgDivision>Distributed Systems Group, Information Systems Institute</OrgDivision><OrgName>Vienna University of Technology</OrgName><OrgAddress><Country>Austria</Country></OrgAddress></Affiliation><Affiliation ID="Aff17"><OrgDivision>Department of Computer Science</OrgDivision><OrgName>University of Leicester</OrgName><OrgAddress><Street>University Road</Street><Postcode>LE1 7RH</Postcode><City>Leicester</City><Country>UK</Country></OrgAddress></Affiliation><Affiliation ID="Aff18"><OrgDivision>Kno.e.sis Center, Dept. of Computer Science & Engineering</OrgDivision><OrgName>Wright State University</OrgName><OrgAddress><Street>3640 Colonel Glenn Hwy</Street><City>Dayton</City><Country>Ohio</Country></OrgAddress></Affiliation></EditorGroup></BookHeader><Part ID="Part6"><PartInfo TocLevels="0"><PartID>6</PartID><PartSequenceNumber>6</PartSequenceNumber><PartTitle>Service Composition</PartTitle><PartChapterCount>3</PartChapterCount><PartContext><SeriesID>558</SeriesID><BookTitle>Business Process Management</BookTitle></PartContext></PartInfo><Chapter ID="Chap18" Language="En"><ChapterInfo ChapterType="OriginalPaper" ContainsESM="No" NumberingDepth="2" NumberingStyle="ContentOnly" TocLevels="0"><ChapterID>18</ChapterID><ChapterDOI>10.1007/11841760_18</ChapterDOI><ChapterSequenceNumber>18</ChapterSequenceNumber><ChapterTitle Language="En">Retracted: Towards Formal Verification of Web Service Composition</ChapterTitle><ChapterFirstPage>257</ChapterFirstPage><ChapterLastPage>273</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2006</CopyrightYear></ChapterCopyright><ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant><AbstractGrant Grant="OpenAccess"></AbstractGrant><BodyPDFGrant Grant="Restricted"></BodyPDFGrant><BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant><BibliographyGrant Grant="Restricted"></BibliographyGrant><ESMGrant Grant="Restricted"></ESMGrant></ChapterGrants><ChapterContext><SeriesID>558</SeriesID><PartID>6</PartID><BookID>978-3-540-38903-3</BookID><BookTitle>Business Process Management</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff19"><AuthorName DisplayOrder="Western"><GivenName>Mohsen</GivenName><FamilyName>Rouached</FamilyName></AuthorName><Contact><Email>mohsen.rouached@loria.fr</Email></Contact></Author><Author AffiliationIDS="Aff19"><AuthorName DisplayOrder="Western"><GivenName>Olivier</GivenName><FamilyName>Perrin</FamilyName></AuthorName><Contact><Email>olivier.perrin@loria.fr</Email></Contact></Author><Author AffiliationIDS="Aff19"><AuthorName DisplayOrder="Western"><GivenName>Claude</GivenName><FamilyName>Godart</FamilyName></AuthorName><Contact><Email>claude.godart@loria.fr</Email></Contact></Author><Affiliation ID="Aff19"><OrgName>LORIA-INRIA-UMR 7503</OrgName><OrgAddress><Postbox>BP 239</Postbox><Postcode>F-54506</Postcode><City>Vandœuvre-les-Nancy Cedex</City><Country>France</Country></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para>Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition proposals, such as BPML, WSBPEL, WSCI, and OWL-S, provide solutions for describing the control and data flows in Web service composition. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for analysis and verification. Therefore, there is a growing interest for the verification techniques which enable designers to test and repair design errors even before actual running of the service, or allow designers to detect erroneous properties and formally verify whether the service process design does have certain desired properties.</Para><Para>In this paper, we propose to verify Web services composition using an event driven approach. We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored.</Para></Abstract><ArticleNote Type="Misc"><SimplePara>An Erratum for this chapter can be found at <ExternalRef><RefSource><Emphasis FontCategory="NonProportional">http://dx.doi.org/10.1007/11841760_43</Emphasis></RefSource><RefTarget Address="http://dx.doi.org/10.1007/11841760_43" TargetType="URL"></RefTarget></ExternalRef>.</SimplePara></ArticleNote></ChapterHeader><NoBody></NoBody></Chapter></Part></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>Retracted: Towards Formal Verification of Web Service Composition</title></titleInfo><titleInfo type="alternative" contentType="CDATA"><title>Retracted: Towards Formal Verification of Web Service Composition</title></titleInfo><name type="personal"><namePart type="given">Mohsen</namePart><namePart type="family">Rouached</namePart><affiliation>LORIA-INRIA-UMR 7503, BP 239, F-54506, Vandœuvre-les-Nancy Cedex, France</affiliation><affiliation>E-mail: mohsen.rouached@loria.fr</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Olivier</namePart><namePart type="family">Perrin</namePart><affiliation>LORIA-INRIA-UMR 7503, BP 239, F-54506, Vandœuvre-les-Nancy Cedex, France</affiliation><affiliation>E-mail: olivier.perrin@loria.fr</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Claude</namePart><namePart type="family">Godart</namePart><affiliation>LORIA-INRIA-UMR 7503, BP 239, F-54506, Vandœuvre-les-Nancy Cedex, France</affiliation><affiliation>E-mail: claude.godart@loria.fr</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre displayLabel="OriginalPaper" authority="ISTEX" authorityURI="https://content-type.data.istex.fr" type="conference" valueURI="https://content-type.data.istex.fr/ark:/67375/XTP-BFHXPBJJ-3">conference</genre><originInfo><publisher>Springer Berlin Heidelberg</publisher><place><placeTerm type="text">Berlin, Heidelberg</placeTerm></place><dateIssued encoding="w3cdtf">2006</dateIssued><copyrightDate encoding="w3cdtf">2006</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><abstract lang="en">Abstract: Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition proposals, such as BPML, WSBPEL, WSCI, and OWL-S, provide solutions for describing the control and data flows in Web service composition. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for analysis and verification. Therefore, there is a growing interest for the verification techniques which enable designers to test and repair design errors even before actual running of the service, or allow designers to detect erroneous properties and formally verify whether the service process design does have certain desired properties. In this paper, we propose to verify Web services composition using an event driven approach. We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored.</abstract><relatedItem type="host"><titleInfo><title>Business Process Management</title><subTitle>4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006. Proceedings</subTitle></titleInfo><name type="personal"><namePart type="given">Schahram</namePart><namePart type="family">Dustdar</namePart><affiliation>Distributed Systems Group, Information Systems Institute, Vienna University of Technology, Austria</affiliation><affiliation>E-mail: dustdar@infosys.tuwien.ac.at</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">José</namePart><namePart type="given">Luiz</namePart><namePart type="family">Fiadeiro</namePart><affiliation>Department of Computer Science, University of Leicester, University Road, LE1 7RH, Leicester, UK</affiliation><affiliation>E-mail: jose@mcs.le.ac.uk</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Amit</namePart><namePart type="given">P.</namePart><namePart type="family">Sheth</namePart><affiliation>Kno.e.sis Center, Dept. of Computer Science & Engineering, Wright State University, 3640 Colonel Glenn Hwy, Dayton, Ohio</affiliation><affiliation>E-mail: amit.sheth@wright.edu</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><genre type="book-series" authority="ISTEX" authorityURI="https://publication-type.data.istex.fr" valueURI="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</genre><originInfo><publisher>Springer</publisher><copyrightDate encoding="w3cdtf">2006</copyrightDate><issuance>monographic</issuance></originInfo><subject><genre>Book-Subject-Collection</genre><topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic></subject><subject><genre>Book-Subject-Group</genre><topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic><topic authority="SpringerSubjectCodes" authorityURI="I18032">Information Storage and Retrieval</topic><topic authority="SpringerSubjectCodes" authorityURI="I18040">Information Systems Applications (incl. Internet)</topic><topic authority="SpringerSubjectCodes" authorityURI="I18067">User Interfaces and Human Computer Interaction</topic><topic authority="SpringerSubjectCodes" authorityURI="I24040">Computers and Society</topic><topic authority="SpringerSubjectCodes" authorityURI="I24067">Management of Computing and Information Systems</topic><topic authority="SpringerSubjectCodes" authorityURI="W26007">Business Information Systems</topic></subject><identifier type="DOI">10.1007/11841760</identifier><identifier type="ISBN">978-3-540-38901-9</identifier><identifier type="eISBN">978-3-540-38903-3</identifier><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="BookTitleID">141235</identifier><identifier type="BookID">978-3-540-38903-3</identifier><identifier type="BookChapterCount">43</identifier><identifier type="BookVolumeNumber">4102</identifier><identifier type="BookSequenceNumber">4102</identifier><identifier type="PartChapterCount">3</identifier><part><date>2006</date><detail type="part"><title>Service Composition</title></detail><detail type="volume"><number>4102</number><caption>vol.</caption></detail><extent unit="pages"><start>257</start><end>273</end></extent></part><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2006</recordOrigin></recordInfo></relatedItem><relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title></titleInfo><name type="personal"><namePart type="given">David</namePart><namePart type="family">Hutchison</namePart><affiliation>Lancaster University, UK</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Takeo</namePart><namePart type="family">Kanade</namePart><affiliation>Carnegie Mellon University, Pittsburgh, PA, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Josef</namePart><namePart type="family">Kittler</namePart><affiliation>University of Surrey, Guildford, UK</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jon</namePart><namePart type="given">M.</namePart><namePart type="family">Kleinberg</namePart><affiliation>Cornell University, Ithaca, NY, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Friedemann</namePart><namePart type="family">Mattern</namePart><affiliation>ETH Zurich, Switzerland</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">John</namePart><namePart type="given">C.</namePart><namePart type="family">Mitchell</namePart><affiliation>Stanford University, CA, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Moni</namePart><namePart type="family">Naor</namePart><affiliation>Weizmann Institute of Science, Rehovot, Israel</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Oscar</namePart><namePart type="family">Nierstrasz</namePart><affiliation>University of Bern, Switzerland</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">C.</namePart><namePart type="family">Pandu Rangan</namePart><affiliation>Indian Institute of Technology, Madras, India</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Bernhard</namePart><namePart type="family">Steffen</namePart><affiliation>University of Dortmund, Germany</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Madhu</namePart><namePart type="family">Sudan</namePart><affiliation>Massachusetts Institute of Technology, MA, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Demetri</namePart><namePart type="family">Terzopoulos</namePart><affiliation>University of California, Los Angeles, CA, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Dough</namePart><namePart type="family">Tygar</namePart><affiliation>University of California, Berkeley, CA, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Moshe</namePart><namePart type="given">Y.</namePart><namePart type="family">Vardi</namePart><affiliation>Rice University, Houston, TX, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Gerhard</namePart><namePart type="family">Weikum</namePart><affiliation>Max-Planck Institute of Computer Science, Saarbruecken, Germany</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><originInfo><publisher>Springer</publisher><copyrightDate encoding="w3cdtf">2006</copyrightDate><issuance>serial</issuance></originInfo><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SeriesID">558</identifier><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2006</recordOrigin></recordInfo></relatedItem><relatedItem type="otherVersion"><titleInfo><title>An Erratum for this chapter can be found at</title></titleInfo><genre type="corrected-article"></genre><identifier type="DOI">10.1007/11841760_43</identifier><identifier type="URL">http://dx.doi.org/10.1007/11841760_43</identifier></relatedItem><identifier type="istex">A9ED96E7B0289A35E45DFC1FB21D731E86EEFD64</identifier><identifier type="ark">ark:/67375/HCB-ZTKSJKP2-8</identifier><identifier type="DOI">10.1007/11841760_18</identifier><identifier type="ChapterID">18</identifier><identifier type="ChapterID">Chap18</identifier><accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag Berlin Heidelberg, 2006</accessCondition><recordInfo><recordContentSource authority="ISTEX" authorityURI="https://loaded-corpus.data.istex.fr" valueURI="https://loaded-corpus.data.istex.fr/ark:/67375/XBH-RLRX46XW-4">springer</recordContentSource><recordOrigin>Springer-Verlag Berlin Heidelberg, 2006</recordOrigin></recordInfo></mods><json:item><extension>json</extension><original>false</original><mimetype>application/json</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-ZTKSJKP2-8/record.json</uri></json:item></metadata></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002824 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 002824 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:A9ED96E7B0289A35E45DFC1FB21D731E86EEFD64
|texte= Retracted: Towards Formal Verification of Web Service Composition
}}
| This area was generated with Dilib version V0.6.33. |  |