<?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-00554780</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-17T06:47:18+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling</title>
            <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>
            <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>
            <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">2011-01-11 13:44:49</date>
              <date type="whenModified">2023-02-14 03:36:19</date>
              <date type="whenReleased">2011-01-11 15:50:06</date>
              <date type="whenProduced">2008</date>
              <ref type="externalLink" target="https://api.istex.fr/ark:/67375/HCB-F3JNC22Z-W/fulltext.pdf?sid=hal"/>
            </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-00554780</idno>
            <idno type="halUri">https://centralesupelec.hal.science/hal-00554780</idno>
            <idno type="halBibtex">hardebolle:hal-00554780</idno>
            <idno type="halRefHtml">&lt;i&gt;Models in Software Engineering&lt;/i&gt;, Springer, pp.247-258, 2008, Lecture Notes in Computer Science, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-540-69073-3_26"&gt;&amp;#x27E8;10.1007/978-3-540-69073-3_26&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Models in Software Engineering, Springer, pp.247-258, 2008, Lecture Notes in Computer Science, &amp;#x27E8;10.1007/978-3-540-69073-3_26&amp;#x27E9;</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="1">Not set</note>
            <note type="popular" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling</title>
                <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>
                <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>
              </analytic>
              <monogr>
                <title level="m">Models in Software Engineering</title>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Lecture Notes in Computer Science</biblScope>
                  <biblScope unit="pp">247-258</biblScope>
                  <date type="datePub">2008</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-540-69073-3_26</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</classCode>
              <classCode scheme="halTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halOldTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halTreeTypology" n="COUV">Book sections</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We present ModHel'X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the semantics of a modeling formalism, and (b) allowing the specification of the interactions between parts of a model described using different modeling formalisms. ModHel'X is based on the concept of Model of Computation and focuses on the execution of models, considered as the computation of one possible behavior of the model. The structural elements of a modeling language are described by specializing the meta-model of ModHel'X whereas its semantics, i.e. the corresponding model of computation, is described by specializing the predefined stages of a generic execution model. Using the same mechanisms, designers can specify the semantic adaptation that is suitable at each interface between heterogeneous parts of their model. Finally, ModHel'X comes with an execution engine which is able to interpret heterogeneous models for simulation.</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>