<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00866002</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-25T23:09:55+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Transforming BPEL into Intermediate Format Language for Web Services Composition Testing</title>
            <author role="crp">
              <persName>
                <forename type="first">Mounir</forename>
                <surname>Lallali</surname>
              </persName>
              <email type="md5">d6ae15438481f9498e0f179cb238e4a5</email>
              <email type="domain">univ-brest.fr</email>
              <idno type="idhal" notation="string">mounir-lallali</idno>
              <idno type="idhal" notation="numeric">15061</idno>
              <idno type="halauthorid" notation="string">15309-15061</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=vCmSFGoAAAAJ&amp;hl=fr</idno>
              <affiliation ref="#struct-638"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Zaidi</forename>
                <surname>Fatiha</surname>
              </persName>
              <email type="md5">980e8bc0b074d4c4b71b3bc2ceeae823</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="string">fatiha-zaidi</idno>
              <idno type="idhal" notation="numeric">18761</idno>
              <idno type="halauthorid" notation="string">514718-18761</idno>
              <idno type="IDREF">https://www.idref.fr/083704019</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3414-8815</idno>
              <affiliation ref="#struct-392183"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Cavalli</forename>
                <forename type="middle">Rosa</forename>
                <surname>Ana</surname>
              </persName>
              <idno type="halauthorid">640891-0</idno>
              <affiliation ref="#struct-442707"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Mounir</forename>
                <surname>Lallali</surname>
              </persName>
              <email type="md5">d6ae15438481f9498e0f179cb238e4a5</email>
              <email type="domain">univ-brest.fr</email>
            </editor>
            <funder ref="#projanr-4190"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-09-25 15:29:23</date>
              <date type="whenWritten">2008</date>
              <date type="whenModified">2026-01-21 03:31:29</date>
              <date type="whenReleased">2013-09-25 15:29:23</date>
              <date type="whenProduced">2008-10-20</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="168713">
                <persName>
                  <forename>Mounir</forename>
                  <surname>Lallali</surname>
                </persName>
                <email type="md5">d6ae15438481f9498e0f179cb238e4a5</email>
                <email type="domain">univ-brest.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00866002</idno>
            <idno type="halUri">https://hal.science/hal-00866002</idno>
            <idno type="halBibtex">lallali:hal-00866002</idno>
            <idno type="halRefHtml">&lt;i&gt;The 4th International Conference on Next Generation Web Services Practices (NWESP'08)&lt;/i&gt;, Oct 2008, Séoul, South Korea. pp.191 - 197, &lt;a target="_blank" href="https://dx.doi.org/10.1109/NWeSP.2008.14"&gt;&amp;#x27E8;10.1109/NWeSP.2008.14&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">The 4th International Conference on Next Generation Web Services Practices (NWESP'08), Oct 2008, Séoul, South Korea. pp.191 - 197, &amp;#x27E8;10.1109/NWeSP.2008.14&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="EC-PARIS">Ecole Centrale Paris</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-PSUD">Université Paris Sud - Paris XI</idno>
            <idno type="stamp" n="TELECOM-SUDPARIS" corresp="INSTITUT-MINES-TELECOM">Télécom SudParis</idno>
            <idno type="stamp" n="UMR8623">Laboratoire de Recherche en Informatique</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIV-PSUD-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris Sud pour Paris Saclay</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
            <idno type="stamp" n="DEPARTEMENT-DE-MATHEMATIQUES">Collection du Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-DEPARTEMENT-MATHEMATIQUES">Département de Mathèmatiques</idno>
            <idno type="stamp" n="SAMOVAR">Services répartis, Architectures, Modélisation, Validation, Administration des Réseaux</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Transforming BPEL into Intermediate Format Language for Web Services Composition Testing</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Mounir</forename>
                    <surname>Lallali</surname>
                  </persName>
                  <email type="md5">d6ae15438481f9498e0f179cb238e4a5</email>
                  <email type="domain">univ-brest.fr</email>
                  <idno type="idhal" notation="string">mounir-lallali</idno>
                  <idno type="idhal" notation="numeric">15061</idno>
                  <idno type="halauthorid" notation="string">15309-15061</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=vCmSFGoAAAAJ&amp;hl=fr</idno>
                  <affiliation ref="#struct-638"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Zaidi</forename>
                    <surname>Fatiha</surname>
                  </persName>
                  <email type="md5">980e8bc0b074d4c4b71b3bc2ceeae823</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="string">fatiha-zaidi</idno>
                  <idno type="idhal" notation="numeric">18761</idno>
                  <idno type="halauthorid" notation="string">514718-18761</idno>
                  <idno type="IDREF">https://www.idref.fr/083704019</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3414-8815</idno>
                  <affiliation ref="#struct-392183"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Cavalli</forename>
                    <forename type="middle">Rosa</forename>
                    <surname>Ana</surname>
                  </persName>
                  <idno type="halauthorid">640891-0</idno>
                  <affiliation ref="#struct-442707"/>
                  <affiliation ref="#struct-441569"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>The 4th International Conference on Next Generation Web Services Practices (NWESP'08)</title>
                  <date type="start">2008-10-20</date>
                  <date type="end">2008-10-22</date>
                  <settlement>Séoul</settlement>
                  <country key="KR">South Korea</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">191 - 197</biblScope>
                  <date type="datePub">2008-10-20</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1109/NWeSP.2008.14</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="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>BPEL is a standard language for Web services composition. To test a composite Web service, the design of a formal model is very useful, because it facilitates the application and the automatization of test generation methods. In this paper, we propose a transformation procedure of the BPEL specification into an Intermediate Format (IF) model that is based on timed automata. This IF format is well adapted to model BPEL (timed) constructs and to handle faults, events, termination, message correlation and activities synchronization. The proposed transformation was implemented in the BPEL2IF tool, which is also presented in this paper.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-638" status="VALID">
          <idno type="IdRef">281286515</idno>
          <idno type="ISNI">0000000403830480</idno>
          <idno type="RNSR">200319330C</idno>
          <orgName>Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux</orgName>
          <orgName type="acronym">SAMOVAR</orgName>
          <desc>
            <address>
              <addrLine>Télécom Sudparis, 9 rue Charles Fourier -91011 Evry cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-352124" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</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"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-392183" status="OLD">
          <orgName>ForTesSE</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://fortesse.lri.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2544" type="direct"/>
            <relation active="#struct-92966" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR8623" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-442707" status="OLD">
          <orgName>Méthodes et modèles pour les réseaux</orgName>
          <orgName type="acronym">METHODES-SAMOVAR</orgName>
          <date type="end">2023-05-31</date>
          <desc>
            <address>
              <addrLine>TELECOM Sudparis 9 rue Charles Fourier 91011 EVRY</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu</ref>
          </desc>
          <listRelation>
            <relation active="#struct-638" type="direct"/>
            <relation active="#struct-352124" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-352124" status="VALID">
          <idno type="IdRef">162347510</idno>
          <idno type="ISNI">0000000406406351</idno>
          <idno type="ROR">https://ror.org/05xvk4r52</idno>
          <idno type="Wikidata">Q43305</idno>
          <orgName>Télécom SudParis</orgName>
          <orgName type="acronym">TSP</orgName>
          <desc>
            <address>
              <addrLine>9 rue Charles Fourier -91011 Evry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
            <relation name="563936" active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2544" status="OLD">
          <idno type="RNSR">199812948M</idno>
          <orgName>Laboratoire de Recherche en Informatique</orgName>
          <orgName type="acronym">LRI</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>LRI - Bâtiments 650-660 Université Paris-Sud 91405 Orsay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lri.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92966" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR8623" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92966" status="OLD">
          <idno type="ROR">https://ror.org/028rypz17</idno>
          <orgName>Université Paris-Sud - Paris 11</orgName>
          <orgName type="acronym">UP11</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment 300 - 91405 Orsay cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-psud.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-4190" status="VALID">
          <idno type="anr">ANR-07-TLOG-0025</idno>
          <idno type="program">Technologies logicielles</idno>
          <orgName>WebMov</orgName>
          <desc>Web Service Modelling and Validation</desc>
          <date type="start">2007</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>