<?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-01583815</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-24T09:00:50+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing</title>
            <author role="aut">
              <persName>
                <forename type="first">Hai</forename>
                <surname>Nguyen Van</surname>
              </persName>
              <idno type="halauthorid">28051-0</idno>
              <affiliation ref="#struct-419361"/>
              <affiliation ref="#struct-92966"/>
              <affiliation ref="#struct-2544"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Thibaut</forename>
                <surname>Balabonski</surname>
              </persName>
              <email type="md5">c5a430627f7e47bc22d35ab8d3f8d167</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="string">thibaut-balabonski</idno>
              <idno type="idhal" notation="numeric">18483</idno>
              <idno type="halauthorid" notation="string">23489-18483</idno>
              <idno type="IDREF">https://www.idref.fr/168667657</idno>
              <affiliation ref="#struct-2544"/>
              <affiliation ref="#struct-419361"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Frédéric</forename>
                <surname>Boulanger</surname>
              </persName>
              <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">frederic-boulanger</idno>
              <idno type="idhal" notation="numeric">4636</idno>
              <idno type="halauthorid" notation="string">54801-4636</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3185-2807</idno>
              <idno type="IDREF">https://www.idref.fr/132922029</idno>
              <affiliation ref="#struct-411575"/>
              <affiliation ref="#struct-419361"/>
              <affiliation ref="#struct-2544"/>
              <affiliation ref="#struct-454174"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Chantal</forename>
                <surname>Keller</surname>
              </persName>
              <email type="md5">2c7a919ba5344845cfd949172f25eb6b</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="string">chantal-keller</idno>
              <idno type="idhal" notation="numeric">15985</idno>
              <idno type="halauthorid" notation="string">31852-15985</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1282-0677</idno>
              <idno type="IDREF">https://www.idref.fr/176956875</idno>
              <affiliation ref="#struct-419361"/>
              <affiliation ref="#struct-2544"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Benoît</forename>
                <surname>Valiron</surname>
              </persName>
              <email type="md5">6a797713f1acb9339862592e43b05f82</email>
              <email type="domain">monoidal.net</email>
              <idno type="idhal" notation="string">benoit-valiron</idno>
              <idno type="idhal" notation="numeric">4511</idno>
              <idno type="halauthorid" notation="string">20112-4511</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1008-5605</idno>
              <idno type="IDREF">https://www.idref.fr/241835704</idno>
              <affiliation ref="#struct-419361"/>
              <affiliation ref="#struct-2544"/>
              <affiliation ref="#struct-411575"/>
              <affiliation ref="#struct-454174"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Burkhart</forename>
                <surname>Wolff</surname>
              </persName>
              <email type="md5">c1a4c763047e3686fb6e4715a0210b61</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="string">burkhart-wolff</idno>
              <idno type="idhal" notation="numeric">5502</idno>
              <idno type="halauthorid" notation="string">18102-5502</idno>
              <idno type="IDREF">https://www.idref.fr/074692097</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9648-7663</idno>
              <affiliation ref="#struct-419361"/>
              <affiliation ref="#struct-92966"/>
              <affiliation ref="#struct-2544"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Frédéric</forename>
                <surname>Boulanger</surname>
              </persName>
              <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
              <email type="domain">centralesupelec.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-09-07 21:55:10</date>
              <date type="whenWritten">2017-06-27</date>
              <date type="whenModified">2024-12-16 22:13:34</date>
              <date type="whenReleased">2017-09-08 14:11:47</date>
              <date type="whenProduced">2017-09-04</date>
              <date type="whenEndEmbargoed">2017-09-07</date>
              <ref type="file" target="https://centralesupelec.hal.science/hal-01583815v1/document">
                <date notBefore="2017-09-07"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://centralesupelec.hal.science/hal-01583815v1/file/article.pdf" id="file-1583815-1636400">
                <date notBefore="2017-09-07"/>
              </ref>
              <ref type="externalLink" target="https://hal-centralesupelec.archives-ouvertes.fr/hal-01583815/file/article.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="178320">
                <persName>
                  <forename>Frédéric</forename>
                  <surname>Boulanger</surname>
                </persName>
                <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
                <email type="domain">centralesupelec.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01583815</idno>
            <idno type="halUri">https://centralesupelec.hal.science/hal-01583815</idno>
            <idno type="halBibtex">nguyenvan:hal-01583815</idno>
            <idno type="halRefHtml">&lt;i&gt;15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017&lt;/i&gt;, Sep 2017, Berlin, Germany. &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-65765-3_18"&gt;&amp;#x27E8;10.1007/978-3-319-65765-3_18&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017, Sep 2017, Berlin, Germany. &amp;#x27E8;10.1007/978-3-319-65765-3_18&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1583815-1636400"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <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="CEREGE" corresp="OSU-INSTITUT-PYTHEAS">Centre Européen de Recherche et d'Enseignement des Géosciences de l'Environnement</idno>
            <idno type="stamp" n="OSU-INSTITUT-PYTHEAS">OSU INSTITUT PYTHEAS</idno>
            <idno type="stamp" n="UMR8623">Laboratoire de Recherche en Informatique</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="LRI-MODHEL" corresp="UMR8623">Equipe : Modélisation Hétérogène</idno>
            <idno type="stamp" n="LRI-VALS" corresp="UMR8623">Laboratoire de Recherche en Informatique. Équipe: Vérification d'Algorithmes, Langages et Systèmes</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</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="CENTRALESUPELEC-SACLAY" corresp="UNIV-PARIS-SACLAY">CENTRALESUPELEC-SACLAY</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</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">A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Hai</forename>
                    <surname>Nguyen Van</surname>
                  </persName>
                  <idno type="halauthorid">28051-0</idno>
                  <affiliation ref="#struct-419361"/>
                  <affiliation ref="#struct-92966"/>
                  <affiliation ref="#struct-2544"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Thibaut</forename>
                    <surname>Balabonski</surname>
                  </persName>
                  <email type="md5">c5a430627f7e47bc22d35ab8d3f8d167</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="string">thibaut-balabonski</idno>
                  <idno type="idhal" notation="numeric">18483</idno>
                  <idno type="halauthorid" notation="string">23489-18483</idno>
                  <idno type="IDREF">https://www.idref.fr/168667657</idno>
                  <affiliation ref="#struct-2544"/>
                  <affiliation ref="#struct-419361"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Frédéric</forename>
                    <surname>Boulanger</surname>
                  </persName>
                  <email type="md5">7f0d6f3a08c4919ced594b55cad1ea0b</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">frederic-boulanger</idno>
                  <idno type="idhal" notation="numeric">4636</idno>
                  <idno type="halauthorid" notation="string">54801-4636</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3185-2807</idno>
                  <idno type="IDREF">https://www.idref.fr/132922029</idno>
                  <affiliation ref="#struct-411575"/>
                  <affiliation ref="#struct-419361"/>
                  <affiliation ref="#struct-2544"/>
                  <affiliation ref="#struct-454174"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Chantal</forename>
                    <surname>Keller</surname>
                  </persName>
                  <email type="md5">2c7a919ba5344845cfd949172f25eb6b</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="string">chantal-keller</idno>
                  <idno type="idhal" notation="numeric">15985</idno>
                  <idno type="halauthorid" notation="string">31852-15985</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1282-0677</idno>
                  <idno type="IDREF">https://www.idref.fr/176956875</idno>
                  <affiliation ref="#struct-419361"/>
                  <affiliation ref="#struct-2544"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Benoît</forename>
                    <surname>Valiron</surname>
                  </persName>
                  <email type="md5">6a797713f1acb9339862592e43b05f82</email>
                  <email type="domain">monoidal.net</email>
                  <idno type="idhal" notation="string">benoit-valiron</idno>
                  <idno type="idhal" notation="numeric">4511</idno>
                  <idno type="halauthorid" notation="string">20112-4511</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1008-5605</idno>
                  <idno type="IDREF">https://www.idref.fr/241835704</idno>
                  <affiliation ref="#struct-419361"/>
                  <affiliation ref="#struct-2544"/>
                  <affiliation ref="#struct-411575"/>
                  <affiliation ref="#struct-454174"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Burkhart</forename>
                    <surname>Wolff</surname>
                  </persName>
                  <email type="md5">c1a4c763047e3686fb6e4715a0210b61</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="string">burkhart-wolff</idno>
                  <idno type="idhal" notation="numeric">5502</idno>
                  <idno type="halauthorid" notation="string">18102-5502</idno>
                  <idno type="IDREF">https://www.idref.fr/074692097</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9648-7663</idno>
                  <affiliation ref="#struct-419361"/>
                  <affiliation ref="#struct-92966"/>
                  <affiliation ref="#struct-2544"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">LNCS 10419</title>
                <meeting>
                  <title>15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017</title>
                  <date type="start">2017-09-04</date>
                  <date type="end">2017-09-07</date>
                  <settlement>Berlin</settlement>
                  <country key="DE">Germany</country>
                </meeting>
                <editor>Alessandro Abate</editor>
                <editor>Gilles Geeraerts</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Formal Modeling and Analysis of Timed Systems</biblScope>
                  <date type="datePub">2017</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-65765-3_18</idno>
              <ref type="publisher">http://formats17.ulb.be/</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Timed Behaviors</term>
                <term xml:lang="en">Synchronicity</term>
                <term xml:lang="en">Heterogeneity</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</classCode>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</classCode>
              <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>TESL addresses the specification of the temporal aspects of an architectural composition language that allows the composition of timed subsystems. TESL specifies the synchronization points between events and time scales. Methodologically, subsystems having potentially different models of execution are abstracted to their interfaces expressed in terms of timed events. In this paper, we present an operational semantics of TESL for constructing symbolic traces that can be used in an online-test scenario: the symbolic trace containing a set of constraints over time-stamps and occurrences of events is matched against concrete runs of the system. We present the operational rules for building symbolic traces and illustrate them with examples. Finally, we show a prototype implementation that generates symbolic traces, and its use for testing.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </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="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-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>
        <org type="researchteam" xml:id="struct-454174" status="OLD">
          <orgName>Modélisation hétérogène (LRI)</orgName>
          <orgName type="acronym">MODHEL - LRI</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Université Paris Sud Bat. 650 - Lovelace 91405 Orsay Cedex</addrLine>
              <country key="FR"/>
            </address>
          </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="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>
      </listOrg>
    </back>
  </text>
</TEI>