<?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-01797538</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-23T06:19:33+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B</title>
            <author role="aut">
              <persName>
                <forename type="first">Yamine</forename>
                <surname>Aït-Ameur</surname>
              </persName>
              <email type="md5">50341c4b4d75e42fa0a004d95a363315</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">yamine-ait-ameur</idno>
              <idno type="idhal" notation="numeric">735131</idno>
              <idno type="halauthorid" notation="string">40680-735131</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4582-9712</idno>
              <idno type="IDREF">https://www.idref.fr/077275225</idno>
              <orgName ref="#struct-448187"/>
              <affiliation ref="#struct-394992"/>
              <affiliation ref="#struct-448187"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Idir</forename>
                <surname>Ait-Sadoune</surname>
              </persName>
              <email type="md5">ccbecdb10955e8a20187e0fc67d0854a</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="string">idir-ait-sadoune</idno>
              <idno type="idhal" notation="numeric">7402</idno>
              <idno type="halauthorid" notation="string">24144-7402</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6484-8276</idno>
              <idno type="IDREF">https://www.idref.fr/176615830</idno>
              <affiliation ref="#struct-2544"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pierre</forename>
                <surname>Castéran</surname>
              </persName>
              <email type="md5">1845b464f8d6f93e634b75604d850d4b</email>
              <email type="domain">labri.fr</email>
              <idno type="idhal" notation="numeric">856336</idno>
              <idno type="halauthorid" notation="string">335646-856336</idno>
              <affiliation ref="#struct-3102"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">John Paul</forename>
                <surname>Gibson</surname>
              </persName>
              <email type="md5">4bcbce9cf91629de300cbf2af7bb97c0</email>
              <email type="domain">telecom-sudparis.eu</email>
              <idno type="idhal" notation="string">paul-gibson</idno>
              <idno type="idhal" notation="numeric">736999</idno>
              <idno type="halauthorid" notation="string">42093-736999</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0474-0666</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=FqpABj8AAAAJ&amp;hl=en</idno>
              <idno type="IDREF">https://www.idref.fr/223309435</idno>
              <idno type="IDREF">https://www.idref.fr/25313109X</idno>
              <affiliation ref="#struct-5170"/>
              <affiliation ref="#struct-442707"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Kahina</forename>
                <surname>Hacid</surname>
              </persName>
              <email type="md5">0e5714db83c4faade30530f46a9fcb8b</email>
              <email type="domain">enseeiht.fr</email>
              <idno type="idhal" notation="numeric">1096325</idno>
              <idno type="halauthorid" notation="string">1263010-1096325</idno>
              <idno type="IDREF">https://www.idref.fr/227280504</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9998-1723</idno>
              <affiliation ref="#struct-396069"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Souad</forename>
                <surname>Kherroubi</surname>
              </persName>
              <email type="md5">8cde661f721c077aa7896b58b0a7837b</email>
              <email type="domain">yahoo.fr</email>
              <idno type="idhal" notation="string">souad-kherroubi</idno>
              <idno type="idhal" notation="numeric">16261</idno>
              <idno type="halauthorid" notation="string">36486-16261</idno>
              <idno type="IDREF">https://www.idref.fr/234349883</idno>
              <affiliation ref="#struct-206041"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Dominique</forename>
                <surname>Méry</surname>
              </persName>
              <idno type="halauthorid">38012-0</idno>
              <orgName ref="#struct-413289"/>
              <affiliation ref="#struct-107895"/>
              <affiliation ref="#struct-206041"/>
              <affiliation ref="#struct-413289"/>
              <affiliation ref="#struct-407821"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Linda</forename>
                <surname>Mohand Oussaid</surname>
              </persName>
              <email type="md5">544824de2bb7e743c8ab2c860c0eedc5</email>
              <email type="domain">centralesupelec.fr</email>
              <idno type="idhal" notation="numeric">1023085</idno>
              <idno type="halauthorid" notation="string">1263534-1023085</idno>
              <affiliation ref="#struct-2544"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Neeraj Kumar</forename>
                <surname>Singh</surname>
              </persName>
              <email type="md5">64e8b2f28b39c93393501d5280ecc95f</email>
              <email type="domain">enseeiht.fr</email>
              <idno type="idhal" notation="string">neeraj-kumar-singh</idno>
              <idno type="idhal" notation="numeric">752507</idno>
              <idno type="halauthorid" notation="string">54013-752507</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1124-0179</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=koce0yMAAAAJ&amp;hl=en</idno>
              <idno type="IDREF">https://www.idref.fr/159807883</idno>
              <affiliation ref="#struct-394992"/>
              <affiliation ref="#struct-448187"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Laurent</forename>
                <surname>Voisin</surname>
              </persName>
              <email type="md5">e72b9420ae54b633e3304983edd4fbbf</email>
              <email type="domain">systerel.fr</email>
              <idno type="idhal" notation="numeric">991389</idno>
              <idno type="halauthorid" notation="string">393083-991389</idno>
              <affiliation ref="#struct-206512"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Idir</forename>
                <surname>Ait Sadoune</surname>
              </persName>
              <email type="md5">ccbecdb10955e8a20187e0fc67d0854a</email>
              <email type="domain">centralesupelec.fr</email>
            </editor>
            <funder ref="#projanr-36820"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-05-23 12:18:46</date>
              <date type="whenModified">2026-04-11 03:18:03</date>
              <date type="whenReleased">2018-05-24 14:24:07</date>
              <date type="whenProduced">2018-06-05</date>
              <date type="whenEndEmbargoed">2018-05-23</date>
              <ref type="file" target="https://hal.science/hal-01797538v1/document">
                <date notBefore="2018-05-23"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01797538v1/file/AmeurACGHKMMSV18-1.pdf" id="file-1798265-1825068">
                <date notBefore="2018-05-23"/>
              </ref>
              <ref type="externalLink" target="https://hal.archives-ouvertes.fr/hal-01797538/file/AmeurACGHKMMSV18-1.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="165447">
                <persName>
                  <forename>Idir</forename>
                  <surname>Ait Sadoune</surname>
                </persName>
                <email type="md5">ccbecdb10955e8a20187e0fc67d0854a</email>
                <email type="domain">centralesupelec.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01797538</idno>
            <idno type="halUri">https://hal.science/hal-01797538</idno>
            <idno type="halBibtex">aitameur:hal-01797538</idno>
            <idno type="halRefHtml">&lt;i&gt;6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018)&lt;/i&gt;, Jun 2018, Southampton, United Kingdom. pp.425--430, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-91271-4_35"&gt;&amp;#x27E8;10.1007/978-3-319-91271-4_35&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, &amp;#x27E8;10.1007/978-3-319-91271-4_35&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1798265-1825068"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="UNIV-PSUD">Université Paris Sud - Paris XI</idno>
            <idno type="stamp" n="ENSEIRB">Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux</idno>
            <idno type="stamp" n="LABRI">Laboratoire Bordelais de Recherche en Informatique</idno>
            <idno type="stamp" n="UNIV-BORDEAUX">Université de Bordeaux</idno>
            <idno type="stamp" n="TELECOM-SUDPARIS" corresp="INSTITUT-MINES-TELECOM">Télécom SudParis</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="SMS" corresp="UNIV-TLSE2">Structuration des Mondes Sociaux (SMS)</idno>
            <idno type="stamp" n="UMR8623">Laboratoire de Recherche en Informatique</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</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="TESTBORDEAUX">TESTBORDEAUX</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</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="LORIA">Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
            <idno type="stamp" n="LORIA-FM" corresp="LORIA">Department of Formal methods</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="TELECOM-SUDPARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">TELECOM-SUDPARIS-SACLAY</idno>
            <idno type="stamp" n="CENTRALESUPELEC-SACLAY" corresp="UNIV-PARIS-SACLAY">CENTRALESUPELEC-SACLAY</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="TSP-DISSEM">Distributed Systems, Software Engineering and Middleware group</idno>
            <idno type="stamp" n="IRIT">IRIT - Institut de Recherche en Informatique de Toulouse</idno>
            <idno type="stamp" n="IRIT-SMAC" corresp="IRIT">Systèmes Multi-Agents Coopératifs</idno>
            <idno type="stamp" n="IRIT-ACADIE" corresp="IRIT">Assistance à la Certification d’Applications DIstribuées et Embarquées</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="LISN">Laboratoire Interdisciplinaire des Sciences du Numérique</idno>
            <idno type="stamp" n="IRIT-ICI" corresp="IRIT">Intelligence Collective et Interaction</idno>
            <idno type="stamp" n="IRIT-FSL" corresp="IRIT">Fiabilité des Systèmes et des Logiciels</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="LMF">Laboratoire Méthodes Formelles</idno>
            <idno type="stamp" n="LMF-SYSTCRIT">Modélisation formelle des systèmes critiques</idno>
            <idno type="stamp" n="IRIT-INPT">IRIT - Toulouse INP</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="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
            <idno type="stamp" n="UNIVERSITE-BORDEAUX">Université de Bordeaux</idno>
            <idno type="stamp" n="DEPARTEMENT-DE-MATHEMATIQUES">Collection du Département de Mathématiques</idno>
            <idno type="stamp" n="IP-PARIS-DEPARTEMENT-MATHEMATIQUES">Département de Mathèmatiques</idno>
            <idno type="stamp" n="IP-PARIS-MATHEMATIQUES">IP Paris Département de Mathématiques</idno>
            <idno type="stamp" n="SAMOVAR">Services répartis, Architectures, Modélisation, Validation, Administration des Réseaux</idno>
            <idno type="stamp" n="AM2I-UL">Pôle scientifique Automatique, Mathématiques, Informatique et leurs Intéractions de l'Université de Lorraine</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">On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Yamine</forename>
                    <surname>Aït-Ameur</surname>
                  </persName>
                  <email type="md5">50341c4b4d75e42fa0a004d95a363315</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">yamine-ait-ameur</idno>
                  <idno type="idhal" notation="numeric">735131</idno>
                  <idno type="halauthorid" notation="string">40680-735131</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4582-9712</idno>
                  <idno type="IDREF">https://www.idref.fr/077275225</idno>
                  <orgName ref="#struct-448187"/>
                  <affiliation ref="#struct-394992"/>
                  <affiliation ref="#struct-448187"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Idir</forename>
                    <surname>Ait-Sadoune</surname>
                  </persName>
                  <email type="md5">ccbecdb10955e8a20187e0fc67d0854a</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="string">idir-ait-sadoune</idno>
                  <idno type="idhal" notation="numeric">7402</idno>
                  <idno type="halauthorid" notation="string">24144-7402</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6484-8276</idno>
                  <idno type="IDREF">https://www.idref.fr/176615830</idno>
                  <affiliation ref="#struct-2544"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre</forename>
                    <surname>Castéran</surname>
                  </persName>
                  <email type="md5">1845b464f8d6f93e634b75604d850d4b</email>
                  <email type="domain">labri.fr</email>
                  <idno type="idhal" notation="numeric">856336</idno>
                  <idno type="halauthorid" notation="string">335646-856336</idno>
                  <affiliation ref="#struct-3102"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">John Paul</forename>
                    <surname>Gibson</surname>
                  </persName>
                  <email type="md5">4bcbce9cf91629de300cbf2af7bb97c0</email>
                  <email type="domain">telecom-sudparis.eu</email>
                  <idno type="idhal" notation="string">paul-gibson</idno>
                  <idno type="idhal" notation="numeric">736999</idno>
                  <idno type="halauthorid" notation="string">42093-736999</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0474-0666</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=FqpABj8AAAAJ&amp;hl=en</idno>
                  <idno type="IDREF">https://www.idref.fr/223309435</idno>
                  <idno type="IDREF">https://www.idref.fr/25313109X</idno>
                  <affiliation ref="#struct-5170"/>
                  <affiliation ref="#struct-442707"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Kahina</forename>
                    <surname>Hacid</surname>
                  </persName>
                  <email type="md5">0e5714db83c4faade30530f46a9fcb8b</email>
                  <email type="domain">enseeiht.fr</email>
                  <idno type="idhal" notation="numeric">1096325</idno>
                  <idno type="halauthorid" notation="string">1263010-1096325</idno>
                  <idno type="IDREF">https://www.idref.fr/227280504</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9998-1723</idno>
                  <affiliation ref="#struct-396069"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Souad</forename>
                    <surname>Kherroubi</surname>
                  </persName>
                  <email type="md5">8cde661f721c077aa7896b58b0a7837b</email>
                  <email type="domain">yahoo.fr</email>
                  <idno type="idhal" notation="string">souad-kherroubi</idno>
                  <idno type="idhal" notation="numeric">16261</idno>
                  <idno type="halauthorid" notation="string">36486-16261</idno>
                  <idno type="IDREF">https://www.idref.fr/234349883</idno>
                  <affiliation ref="#struct-206041"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Dominique</forename>
                    <surname>Méry</surname>
                  </persName>
                  <idno type="halauthorid">38012-0</idno>
                  <orgName ref="#struct-413289"/>
                  <affiliation ref="#struct-107895"/>
                  <affiliation ref="#struct-206041"/>
                  <affiliation ref="#struct-413289"/>
                  <affiliation ref="#struct-407821"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Linda</forename>
                    <surname>Mohand Oussaid</surname>
                  </persName>
                  <email type="md5">544824de2bb7e743c8ab2c860c0eedc5</email>
                  <email type="domain">centralesupelec.fr</email>
                  <idno type="idhal" notation="numeric">1023085</idno>
                  <idno type="halauthorid" notation="string">1263534-1023085</idno>
                  <affiliation ref="#struct-2544"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Neeraj Kumar</forename>
                    <surname>Singh</surname>
                  </persName>
                  <email type="md5">64e8b2f28b39c93393501d5280ecc95f</email>
                  <email type="domain">enseeiht.fr</email>
                  <idno type="idhal" notation="string">neeraj-kumar-singh</idno>
                  <idno type="idhal" notation="numeric">752507</idno>
                  <idno type="halauthorid" notation="string">54013-752507</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1124-0179</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=koce0yMAAAAJ&amp;hl=en</idno>
                  <idno type="IDREF">https://www.idref.fr/159807883</idno>
                  <affiliation ref="#struct-394992"/>
                  <affiliation ref="#struct-448187"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Laurent</forename>
                    <surname>Voisin</surname>
                  </persName>
                  <email type="md5">e72b9420ae54b633e3304983edd4fbbf</email>
                  <email type="domain">systerel.fr</email>
                  <idno type="idhal" notation="numeric">991389</idno>
                  <idno type="halauthorid" notation="string">393083-991389</idno>
                  <affiliation ref="#struct-206512"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018)</title>
                  <date type="start">2018-06-05</date>
                  <date type="end">2018-06-08</date>
                  <settlement>Southampton</settlement>
                  <country key="GB">United Kingdom</country>
                </meeting>
                <editor>Michael Butler</editor>
                <editor>Alexander Raschke</editor>
                <editor>Thai Son Hoang</editor>
                <editor>Klaus Reichl</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Lecture Notes in Computer Science</biblScope>
                  <biblScope unit="volume">10817</biblScope>
                  <biblScope unit="pp">425--430</biblScope>
                  <date type="datePub">2018</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-91271-4_35</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="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>Although several authors like P. Zave and M. Jackson, D. Bjorner, A. Van Lamsweerde have drawn the attention of system designers on the ne- cessity to handle domain knowledge, while designing systems, it is still a major concern nowadays. The IMPEX project, funded by the French ANR national research agency, addresses the problem of making explicit domain knowledge in formal system developments using refinement and proof based formal methods. It advocates the use and formalisation of ontologies as models for domain knowl- edge. The Event-B modelling technique has shown its usefulness to support the various developments. In this paper, we briefly describe the approach and the case studies developed in the context of this project.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-394992" status="OLD">
          <orgName>Assistance à la Certification d’Applications DIstribuées et Embarquées</orgName>
          <orgName type="acronym">IRIT-ACADIE</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>IRIT118 Route de Narbonne31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/-Equipe-ACADIE-</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34499" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1149079" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="indirect"/>
          </listRelation>
        </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="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="laboratory" xml:id="struct-3102" status="VALID">
          <idno type="IdRef">155054465</idno>
          <idno type="ISNI">0000000122898198</idno>
          <idno type="RNSR">199511665F</idno>
          <idno type="ROR">https://ror.org/03adqg323</idno>
          <idno type="Wikidata">Q3214395</idno>
          <orgName>Laboratoire Bordelais de Recherche en Informatique</orgName>
          <orgName type="acronym">LaBRI</orgName>
          <date type="start">1988-01-01</date>
          <desc>
            <address>
              <addrLine>Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.labri.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-259761" type="direct"/>
            <relation active="#struct-300366" type="direct"/>
            <relation name="UMR5800 / URA1304" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-5170" status="VALID">
          <orgName>Département Informatique</orgName>
          <orgName type="acronym">TSP - INF</orgName>
          <desc>
            <address>
              <addrLine>Télécom SudParis - 9 rue Charles Fourier. 91011 Évry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-inf.int-evry.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-352124" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-442707" status="OLD">
          <orgName>Méthodes et modèles pour les réseaux</orgName>
          <orgName type="acronym">METHODES-SAMOVAR</orgName>
          <date type="end">2023-05-31</date>
          <desc>
            <address>
              <addrLine>TELECOM Sudparis 9 rue Charles Fourier 91011 EVRY</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu</ref>
          </desc>
          <listRelation>
            <relation active="#struct-638" type="direct"/>
            <relation active="#struct-352124" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" 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>
        <org type="researchteam" xml:id="struct-396069" status="OLD">
          <orgName>Systèmes Multi-Agents Coopératifs</orgName>
          <orgName type="acronym">IRIT-SMAC</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>IRIT118 Route de Narbonne31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irit.fr/departement/intelligence-collective-interaction/equipe-smac/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34499" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1149079" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-206041" status="VALID">
          <orgName>Proof-oriented development of computer-based systems</orgName>
          <orgName type="acronym">MOSEL</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr/la-recherche-en/equipes/mosel</ref>
          </desc>
          <listRelation>
            <relation active="#struct-423084" type="direct"/>
            <relation active="#struct-206040" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-107895" status="VALID">
          <idno type="RNSR">201020692C</idno>
          <idno type="ROR">https://ror.org/0440j7g03</idno>
          <orgName>Modeling and Verification of Distributed Algorithms and Systems</orgName>
          <orgName type="acronym">VERIDIS</orgName>
          <date type="start">2012-07-01</date>
          <date type="end">2026-04-30</date>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/veridis</ref>
          </desc>
          <listRelation>
            <relation active="#struct-129671" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-423084" type="direct"/>
            <relation active="#struct-206040" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-413289" status="VALID">
          <idno type="IdRef">157040569</idno>
          <idno type="IdUnivLorraine">[UL]100--</idno>
          <idno type="ROR">https://ror.org/04vfs2w97</idno>
          <orgName>Université de Lorraine</orgName>
          <orgName type="acronym">UL</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lorraine.fr/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-407821" status="VALID">
          <idno type="IdUnivLorraine">[UL]FDJ--</idno>
          <orgName>TELECOM Nancy</orgName>
          <desc>
            <address>
              <addrLine>193, avenue Paul Muller, CS 90172, 54602 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://telecomnancy.univ-lorraine.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-413289" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-206512" status="VALID">
          <orgName>Systerel</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-302287" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-34499" status="OLD">
          <idno type="IdRef">030947448</idno>
          <idno type="ISNI">0000000121927225</idno>
          <idno type="RNSR">199511949P</idno>
          <idno type="ROR">https://ror.org/01rx4qw44</idno>
          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <date type="start">1990-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation active="#struct-1149079" type="direct"/>
            <relation name="FED4171" active="#struct-217752" 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-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="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1149079" status="OLD">
          <orgName>Toulouse Mind &amp; Brain Institut</orgName>
          <orgName type="acronym">TMBI</orgName>
          <date type="start">2021-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>CHU Purpan, Pavillon Baudot, 31059 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.tmbi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </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="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="institution" xml:id="struct-259761" status="VALID">
          <idno type="IdRef">175206562</idno>
          <idno type="ROR">https://ror.org/057qpr032</idno>
          <orgName>Université de Bordeaux</orgName>
          <orgName type="acronym">UB</orgName>
          <desc>
            <address>
              <addrLine>35, place Pey Berland - 33076 Bordeaux</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-bordeaux.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300366" status="VALID">
          <orgName>École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-352124" status="VALID">
          <idno type="IdRef">162347510</idno>
          <idno type="ISNI">0000000406406351</idno>
          <idno type="ROR">https://ror.org/05xvk4r52</idno>
          <idno type="Wikidata">Q43305</idno>
          <orgName>Télécom SudParis</orgName>
          <orgName type="acronym">TSP</orgName>
          <desc>
            <address>
              <addrLine>9 rue Charles Fourier -91011 Evry Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
            <relation name="563936" active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-638" status="VALID">
          <idno type="IdRef">281286515</idno>
          <idno type="ISNI">0000000403830480</idno>
          <idno type="RNSR">200319330C</idno>
          <orgName>Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux</orgName>
          <orgName type="acronym">SAMOVAR</orgName>
          <desc>
            <address>
              <addrLine>Télécom Sudparis, 9 rue Charles Fourier -91011 Evry cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://samovar.telecom-sudparis.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-352124" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="563936" active="#struct-563936" type="indirect"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-423084" status="VALID">
          <orgName>Department of Formal Methods</orgName>
          <orgName type="acronym">LORIA - FM</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr/en/research/departments/formal-methods/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-206040" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-206040" status="VALID">
          <idno type="IdRef">067077927</idno>
          <idno type="ISNI">0000000121795429</idno>
          <idno type="RNSR">198912571S</idno>
          <idno type="IdUnivLorraine">[UL]RSI--</idno>
          <idno type="ROR">https://ror.org/02vnf0c38</idno>
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-413289" type="direct"/>
            <relation name="UMR7503" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-129671" status="VALID">
          <idno type="RNSR">198618246Y</idno>
          <idno type="ROR">https://ror.org/03fcjvn64</idno>
          <orgName>Centre Inria de l'Université de Lorraine</orgName>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/nancy</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-302287" status="VALID">
          <orgName>Systerel</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-36820" status="VALID">
          <idno type="anr">ANR-13-INSE-0001</idno>
          <idno type="program">Ingénierie Numérique et Sécurité</idno>
          <orgName>IMPEX</orgName>
          <desc>Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve.</desc>
          <date type="start">2013</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>