<?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-05173569</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-20T16:35:52+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">PARALLEL-DEVS SPECIFICATION LANGUAGE FOR MODELING: MATHEMATICAL APPROACH AND GRAMMAR</title>
            <title xml:lang="fr">LANGAGE DE SPÉCIFICATION PARALLEL-DEVS POUR LA MODÉLISATION : APPROCHE MATHÉMATIQUE ET GRAMMAIRE</title>
            <author role="aut">
              <persName>
                <forename type="first">Gaston</forename>
                <surname>Batchoudi</surname>
              </persName>
              <email type="md5">a671ae2404cb1eb80ee1499d19ed3858</email>
              <email type="domain">yahoo.com</email>
              <idno type="idhal" notation="string">gnim-wazou-gaston-batchoudi</idno>
              <idno type="idhal" notation="numeric">1362044</idno>
              <idno type="halauthorid" notation="string">3234069-1362044</idno>
              <idno type="ORCID">https://orcid.org/0009-0001-2769-3818</idno>
              <affiliation ref="#struct-157346"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Clément</forename>
                <surname>Foucher</surname>
              </persName>
              <email type="md5">4040aea86ce206172d9969a198031c0a</email>
              <email type="domain">outlook.fr</email>
              <idno type="idhal" notation="string">clement-foucher</idno>
              <idno type="idhal" notation="numeric">263</idno>
              <idno type="halauthorid" notation="string">22427-263</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9566-4173</idno>
              <idno type="IDREF">https://www.idref.fr/167241095</idno>
              <affiliation ref="#struct-1612748"/>
              <affiliation ref="#struct-1612993"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Eric</forename>
                <surname>Ramat</surname>
              </persName>
              <email type="md5">83a9e7a0305e7bbae6ec269e16ffd2d8</email>
              <email type="domain">univ-littoral.fr</email>
              <idno type="idhal" notation="string">eric-ramat</idno>
              <idno type="idhal" notation="numeric">1118262</idno>
              <idno type="halauthorid" notation="string">383286-1118262</idno>
              <idno type="IDREF">https://www.idref.fr/099233800</idno>
              <idno type="VIAF">https://viaf.org/viaf/49512398</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0308-2526</idno>
              <idno type="ISNI">http://isni.org/isni/0000000002100460</idno>
              <affiliation ref="#struct-157346"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Gnim-Wazou Gaston</forename>
                <surname>BATCHOUDI</surname>
              </persName>
              <email type="md5">a671ae2404cb1eb80ee1499d19ed3858</email>
              <email type="domain">yahoo.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-07-21 15:41:45</date>
              <date type="whenModified">2026-01-12 11:02:07</date>
              <date type="whenReleased">2025-07-21 16:41:54</date>
              <date type="whenProduced">2025-05-26</date>
              <date type="whenEndEmbargoed">2025-10-21</date>
              <ref type="file" target="https://hal.science/hal-05173569v1/document">
                <date notBefore="2025-10-21"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-05173569v1/file/ANNSim_2025-1.pdf" id="file-5173569-4462573">
                <date notBefore="2025-10-21"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="1493688">
                <persName>
                  <forename>Gnim-Wazou Gaston</forename>
                  <surname>BATCHOUDI</surname>
                </persName>
                <email type="md5">a671ae2404cb1eb80ee1499d19ed3858</email>
                <email type="domain">yahoo.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05173569</idno>
            <idno type="halUri">https://hal.science/hal-05173569</idno>
            <idno type="halBibtex">batchoudi:hal-05173569</idno>
            <idno type="halRefHtml">&lt;i&gt;2025 Annual Modeling and Simulation Conference (ANNSIM'25)&lt;/i&gt;, The Society for Modeling and Simulation International (SCS), May 2025, Madrid, Spain</idno>
            <idno type="halRef">2025 Annual Modeling and Simulation Conference (ANNSIM'25), The Society for Modeling and Simulation International (SCS), May 2025, Madrid, Spain</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-5173569-4462573"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-LITTORAL">Université du Littoral Côte d'Opale</idno>
            <idno type="stamp" n="INSA-TOULOUSE">Institut National des Sciences Appliquées de Toulouse</idno>
            <idno type="stamp" n="LAAS">Laboratoire d'analyse et d'architecture des systèmes</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="LAAS-RISC" corresp="LAAS">Réseaux, Informatique, Systèmes de Confiance</idno>
            <idno type="stamp" n="LISIC">Laboratoire d'Informatique Signal et Image de la Côte d'Opale</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="TEST7-HALCNRS">test 7 du portail hal cnrs</idno>
            <idno type="stamp" n="LAAS-TRUST" corresp="LAAS-RISC">Trustworthy systems: foundations and practices</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">PARALLEL-DEVS SPECIFICATION LANGUAGE FOR MODELING: MATHEMATICAL APPROACH AND GRAMMAR</title>
                <title xml:lang="fr">LANGAGE DE SPÉCIFICATION PARALLEL-DEVS POUR LA MODÉLISATION : APPROCHE MATHÉMATIQUE ET GRAMMAIRE</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Gaston</forename>
                    <surname>Batchoudi</surname>
                  </persName>
                  <email type="md5">a671ae2404cb1eb80ee1499d19ed3858</email>
                  <email type="domain">yahoo.com</email>
                  <idno type="idhal" notation="string">gnim-wazou-gaston-batchoudi</idno>
                  <idno type="idhal" notation="numeric">1362044</idno>
                  <idno type="halauthorid" notation="string">3234069-1362044</idno>
                  <idno type="ORCID">https://orcid.org/0009-0001-2769-3818</idno>
                  <affiliation ref="#struct-157346"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Clément</forename>
                    <surname>Foucher</surname>
                  </persName>
                  <email type="md5">4040aea86ce206172d9969a198031c0a</email>
                  <email type="domain">outlook.fr</email>
                  <idno type="idhal" notation="string">clement-foucher</idno>
                  <idno type="idhal" notation="numeric">263</idno>
                  <idno type="halauthorid" notation="string">22427-263</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9566-4173</idno>
                  <idno type="IDREF">https://www.idref.fr/167241095</idno>
                  <affiliation ref="#struct-1612748"/>
                  <affiliation ref="#struct-1612993"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Eric</forename>
                    <surname>Ramat</surname>
                  </persName>
                  <email type="md5">83a9e7a0305e7bbae6ec269e16ffd2d8</email>
                  <email type="domain">univ-littoral.fr</email>
                  <idno type="idhal" notation="string">eric-ramat</idno>
                  <idno type="idhal" notation="numeric">1118262</idno>
                  <idno type="halauthorid" notation="string">383286-1118262</idno>
                  <idno type="IDREF">https://www.idref.fr/099233800</idno>
                  <idno type="VIAF">https://viaf.org/viaf/49512398</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0308-2526</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000002100460</idno>
                  <affiliation ref="#struct-157346"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">Rapport LAAS n° 25211</idno>
                <meeting>
                  <title>2025 Annual Modeling and Simulation  Conference (ANNSIM'25)</title>
                  <date type="start">2025-05-26</date>
                  <date type="end">2025-05-29</date>
                  <settlement>Madrid</settlement>
                  <country key="ES">Spain</country>
                </meeting>
                <respStmt>
                  <resp>conferenceOrganizer</resp>
                  <name>The Society for Modeling and Simulation International (SCS)</name>
                </respStmt>
                <imprint>
                  <date type="datePub">2025-05</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Meta-modeling</term>
                <term xml:lang="en">Discrete-event systems</term>
                <term xml:lang="en">Grammar</term>
                <term xml:lang="en">Formal Specification</term>
                <term xml:lang="en">Parallel-DEVS</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>In this article, we propose a new formal language called the Formal Parallel-DEVS Modeling Language (FPDEVSML) as a platform-independent specification of the Parallel-DEVS (PDEVS) formalism. The DEVS (Discrete Event Systems Specification) formalism enables the specification of discrete event models in a hierarchical and modular manner, providing a solid foundation for the modeling, simulation, and analysis of discrete systems. FPDEVSML is based on a grammar with a rigorous mathematical structure that formalizes the sets and mathematical objects used in PDEVS modeling. The main objective of the proposed approach is to provide a formal framework for specifying and analyzing a system and to improve interoperability between PDEVS simulators. FPDEVSML can be used as an intermediate target language for DSLs. The specified models can then be translated into different forms of code using code generators and then executed with various tools for model verification and execution.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Dans cet article, nous proposons un nouveau langage formel, le Formal Parallel-DEVS Modeling Language (FPDEVSML), comme langage de spécification indépendante de la plateforme du formalisme Parallel-DEVS (PDEVS). Le formalisme DEVS (Discrete Event Systems Specification) permet de spécifier des modèles à événements discrets de manière hiérarchique et modulaire, offrant ainsi une base solide pour la modélisation, la simulation et l'analyse de systèmes discrets. FPDEVSML repose sur une grammaire dotée d'une structure mathématique rigoureuse qui formalise les ensembles et objets mathématiques utilisés dans la modélisation PDEVS. L'objectif principal de l'approche proposée est de fournir un cadre formel pour la spécification et l'analyse d'un système et d'améliorer l'interopérabilité entre les simulateurs PDEVS. FPDEVSML peut être utilisé comme langage cible intermédiaire pour les DSL. Les modèles spécifiés peuvent ensuite être traduits en différentes code des langages de programmation à l'aide de générateurs de code, puis exécutés avec divers outils de vérification et d'exécution de modèles.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-157346" status="VALID">
          <idno type="IdRef">146514440</idno>
          <idno type="RNSR">201019115N</idno>
          <orgName>Laboratoire d'Informatique Signal et Image de la Côte d'Opale</orgName>
          <orgName type="acronym">LISIC</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>Maison de la Recherche Blaise Pascal 50, rue Ferdinand Buisson BP 719 62228 Calais Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-lisic.univ-littoral.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UR 4491" active="#struct-301404" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-1612748" status="VALID">
          <orgName>Équipe Trustworthy systems: foundations and practices</orgName>
          <orgName type="acronym">LAAS-TRUST</orgName>
          <date type="start">2025-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.laas.fr/fr/equipes/trust/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1612717" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation name="UPR8001" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1574795" type="indirect"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1612993" status="VALID">
          <orgName>Institut Universitaire de Technologie - Paul Sabatier</orgName>
          <orgName type="acronym">IUT Toulouse Auch Castres</orgName>
          <date type="start">2025-01-01</date>
          <desc>
            <address>
              <addrLine>Université Toulouse III - 115C, route de Narbonne - 31077 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://iut.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1574795" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-301404" status="VALID">
          <idno type="IdRef">030969379</idno>
          <idno type="ISNI">0000000121134241</idno>
          <idno type="ROR">https://ror.org/02gdcg342</idno>
          <orgName>Université du Littoral Côte d'Opale</orgName>
          <orgName type="acronym">ULCO</orgName>
          <date type="start">1991-11-07</date>
          <desc>
            <address>
              <addrLine>1, place de l'Yser - BP 7102259375 Dunkerque Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-littoral.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1612717" status="VALID">
          <idno type="IdRef">199278792</idno>
          <idno type="ISNI">0000 0001 2188 216X </idno>
          <idno type="RNSR">199517454Y</idno>
          <idno type="ROR">https://ror.org/03vcm6439</idno>
          <orgName>Laboratoire d'analyse et d'architecture des systèmes</orgName>
          <orgName type="acronym">LAAS</orgName>
          <date type="start">2025-01-01</date>
          <desc>
            <address>
              <addrLine>7 Av du colonel Roche 31077 TOULOUSE CEDEX 4</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.laas.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116255" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation name="UPR8001" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation active="#struct-1574795" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116255" status="VALID">
          <idno type="IdRef">026388766</idno>
          <idno type="ISNI">0000 0001 2286 8343</idno>
          <idno type="ROR">https://ror.org/01h8pf755</idno>
          <idno type="Wikidata">Q858979</idno>
          <orgName>Institut National des Sciences Appliquées - Toulouse</orgName>
          <orgName type="acronym">INSA Toulouse</orgName>
          <date type="start">1963-10-21</date>
          <desc>
            <address>
              <addrLine>135, avenue de Rangueil - 31077 Toulouse cedex 4</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-toulouse.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </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="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1574795" status="VALID">
          <orgName>Université de Toulouse</orgName>
          <orgName type="acronym">EPE UT</orgName>
          <date type="start">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 toute de Narbonne, 31062 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>