<?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-00289188</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-18T08:28:46+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Simulation of Multi-Formalism Models with ModHel'X</title>
            <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-21400"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Cécile</forename>
                <surname>Hardebolle</surname>
              </persName>
              <idno type="halauthorid">300553-0</idno>
              <affiliation ref="#struct-21400"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Evelyne</forename>
                <surname>Faivre</surname>
              </persName>
              <email type="md5">36664f1be53870a1bda189ab2af6508c</email>
              <email type="domain">supelec.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2008-06-19 17:00:18</date>
              <date type="whenModified">2023-02-14 03:37:51</date>
              <date type="whenReleased">2008-06-20 08:54:16</date>
              <date type="whenProduced">2008-04-09</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="123536">
                <persName>
                  <forename>Evelyne</forename>
                  <surname>Faivre</surname>
                </persName>
                <email type="md5">36664f1be53870a1bda189ab2af6508c</email>
                <email type="domain">supelec.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00289188</idno>
            <idno type="halUri">https://centralesupelec.hal.science/hal-00289188</idno>
            <idno type="halBibtex">boulanger:hal-00289188</idno>
            <idno type="halRefHtml">&lt;i&gt;International Conference on Software Testing, Verification and Validation. (ICST 2008)&lt;/i&gt;, Apr 2008, Lillehammer, Norway. pp.318-327</idno>
            <idno type="halRef">International Conference on Software Testing, Verification and Validation. (ICST 2008), Apr 2008, Lillehammer, Norway. pp.318-327</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="SUPELEC">SUPELEC</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</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>
          </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">Simulation of Multi-Formalism Models with ModHel'X</title>
                <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-21400"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Cécile</forename>
                    <surname>Hardebolle</surname>
                  </persName>
                  <idno type="halauthorid">300553-0</idno>
                  <affiliation ref="#struct-21400"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of the first International Conference on Software Testing, Verification and Validation. (ICST 2008)</title>
                <meeting>
                  <title>International Conference on Software Testing, Verification and Validation. (ICST 2008)</title>
                  <date type="start">2008-04-09</date>
                  <settlement>Lillehammer</settlement>
                  <country key="NO">Norway</country>
                </meeting>
                <imprint>
                  <publisher>IEEE Computer Society</publisher>
                  <biblScope unit="pp">318-327</biblScope>
                  <date type="datePub">2008</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ia">Computer Science [cs]/Computer Aided Engineering</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>A step in the validation of a system is to check its behavior by simulation. Simulation is also used to validate the behavior of the model of the system against test patterns. For complex systems, models are made of parts which use different modeling formalisms. The main issues in the simulation of such systems are the specification of the semantics of each modeling formalism, and of the interactions between heterogeneous parts of a model. ModHel'X relies on component based modeling and models of computation to address these problems and focuses on the computation of one possible behavior of a model. This includes simulation and code generation. ModHel'X defines a MOF meta-model for describing the structural elements of a modeling language. The semantics of modeling languages is expressed in an imperative style and addresses three aspects: control, data and time. ModHel'X is supported by a simulator of multi-formalism models.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-21400" status="OLD">
          <orgName>SUPELEC-Campus Gif</orgName>
          <desc>
            <address>
              <addrLine>Plateau du Moulon - 3 rue Joliot-Curie - 91192 Gif-sur-Yvette CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.supelec.fr/gif/</ref>
          </desc>
          <listRelation>
            <relation name="300812" active="#struct-303397" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-303397" status="VALID">
          <orgName>Ecole Supérieure d'Electricité - SUPELEC (FRANCE)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>