<?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-00953399</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-20T22:46:23+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B</title>
            <author role="aut">
              <persName>
                <forename type="first">Akram</forename>
                <surname>Idani</surname>
              </persName>
              <email type="md5">c2b06338024b4a672288e40debf2b006</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="string">akram-idani</idno>
              <idno type="idhal" notation="numeric">836953</idno>
              <idno type="halauthorid" notation="string">182659-836953</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2267-3639</idno>
              <affiliation ref="#struct-49644"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mohamed-Amine</forename>
                <surname>Labiadh</surname>
              </persName>
              <idno type="halauthorid">728824-0</idno>
              <orgName ref="#struct-0"/>
              <affiliation ref="#struct-24471"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Yves</forename>
                <surname>Ledru</surname>
              </persName>
              <email type="md5">96433c831d9188fa8cdd5d7ac7158c86</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="string">yves-ledru</idno>
              <idno type="idhal" notation="numeric">178520</idno>
              <idno type="halauthorid" notation="string">18803-178520</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0632-030X</idno>
              <idno type="IDREF">https://www.idref.fr/058586571</idno>
              <affiliation ref="#struct-49644"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Catherine</forename>
                <surname>Oriat</surname>
              </persName>
              <email type="md5">139cd2a330ecc18a23121001eca635b2</email>
              <email type="domain">imag.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2014-02-28 11:46:42</date>
              <date type="whenModified">2025-09-27 19:00:24</date>
              <date type="whenReleased">2014-02-28 11:50:16</date>
              <date type="whenProduced">2010</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="186522">
                <persName>
                  <forename>Catherine</forename>
                  <surname>Oriat</surname>
                </persName>
                <email type="md5">139cd2a330ecc18a23121001eca635b2</email>
                <email type="domain">imag.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00953399</idno>
            <idno type="halUri">https://inria.hal.science/hal-00953399</idno>
            <idno type="halBibtex">idani:hal-00953399</idno>
            <idno type="halRefHtml">&lt;i&gt;Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information&lt;/i&gt;, 2010, 15 (3), pp.87-112</idno>
            <idno type="halRef">Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2010, 15 (3), pp.87-112</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-GRENOBLE1">Université Joseph Fourier - Grenoble I</idno>
            <idno type="stamp" n="UNIV-PMF_GRENOBLE">Université Pierre-Mendès-France - Grenoble II</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="LIG">Laboratoire d'Informatique de Grenoble</idno>
            <idno type="stamp" n="LIG_GLSI" corresp="LIG">Génie des Logiciels et des Systèmes d'Information</idno>
            <idno type="stamp" n="LIG_GLSI_VASCO" corresp="LIG_GLSI">VASCO</idno>
            <idno type="stamp" n="LIG_SIDCH" corresp="LIG">Systèmes intelligents pour les données, les connaissances et les humains</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Akram</forename>
                    <surname>Idani</surname>
                  </persName>
                  <email type="md5">c2b06338024b4a672288e40debf2b006</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="string">akram-idani</idno>
                  <idno type="idhal" notation="numeric">836953</idno>
                  <idno type="halauthorid" notation="string">182659-836953</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2267-3639</idno>
                  <affiliation ref="#struct-49644"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mohamed-Amine</forename>
                    <surname>Labiadh</surname>
                  </persName>
                  <idno type="halauthorid">728824-0</idno>
                  <orgName ref="#struct-0"/>
                  <affiliation ref="#struct-24471"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Yves</forename>
                    <surname>Ledru</surname>
                  </persName>
                  <email type="md5">96433c831d9188fa8cdd5d7ac7158c86</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="string">yves-ledru</idno>
                  <idno type="idhal" notation="numeric">178520</idno>
                  <idno type="halauthorid" notation="string">18803-178520</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0632-030X</idno>
                  <idno type="IDREF">https://www.idref.fr/058586571</idno>
                  <affiliation ref="#struct-49644"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">20906</idno>
                <idno type="issn">1633-1311</idno>
                <idno type="eissn">2116-7125</idno>
                <title level="j">Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information</title>
                <imprint>
                  <publisher>Lavoisier</publisher>
                  <biblScope unit="volume">15</biblScope>
                  <biblScope unit="issue">3</biblScope>
                  <biblScope unit="pp">87-112</biblScope>
                  <date type="datePub">2010</date>
                </imprint>
              </monogr>
            </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="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>One of the main objectives of software engineering is to develop well-structured and reliable systems. This explains the variety of approches for integrating formal and semi-formal methods ; especially those which produce B specifications from UML models. In this work, we try to unify these approaches in order to be able, on the one hand, to combine rules issued from these techniques, and on the other hand, to easily extend them. Our UML/B multi- modeling tool provides transformations from UML to B in an MDE architecture. We also proposed the notion of customizable rule which allows to adapt and extend existing approaches with respect to various abstraction levels: meta-model (M2), model (M1) or dual (M1/M2).</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-49644" status="OLD">
          <orgName>Validation de Systèmes, Composants et Objets logiciels</orgName>
          <orgName type="acronym">VASCO</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://equipes-lig.imag.fr/vasco</ref>
          </desc>
          <listRelation>
            <relation active="#struct-24471" type="direct"/>
            <relation active="#struct-3886" type="indirect"/>
            <relation active="#struct-51016" type="indirect"/>
            <relation active="#struct-89889" type="indirect"/>
            <relation active="#struct-300275" type="indirect"/>
            <relation name="UMR5217" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-24471" status="OLD">
          <idno type="IdRef">148425550</idno>
          <idno type="ISNI">0000 0001 2286 4035 </idno>
          <idno type="RNSR">200711886U</idno>
          <idno type="ROR">https://ror.org/01c8rcg82</idno>
          <orgName>Laboratoire d'Informatique de Grenoble</orgName>
          <orgName type="acronym">LIG</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.liglab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-3886" type="direct"/>
            <relation active="#struct-51016" type="direct"/>
            <relation active="#struct-89889" type="direct"/>
            <relation active="#struct-300275" type="direct"/>
            <relation name="UMR5217" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-3886" status="OLD">
          <idno type="IdRef">02640432X</idno>
          <idno type="ROR">https://ror.org/02f7wz369</idno>
          <orgName>Université Pierre Mendès France - Grenoble 2</orgName>
          <orgName type="acronym">UPMF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-51016" status="OLD">
          <idno type="IdRef">026404796</idno>
          <idno type="ROR">https://ror.org/02aj0kh94</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300275" status="OLD">
          <idno type="IdRef">026388804</idno>
          <orgName>Institut National Polytechnique de Grenoble</orgName>
          <orgName type="acronym">INPG</orgName>
          <date type="end">2006-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </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>