<?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-03679809</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-03T15:57:43+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Event-B Decomposition Analysis for Systems Behavior Modeling</title>
            <author role="aut">
              <persName>
                <forename type="first">Kenza</forename>
                <surname>Kraibi</surname>
              </persName>
              <email type="md5">c554fb6d253db4792ef393e034e768d0</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">kenza-kraibi</idno>
              <idno type="idhal" notation="numeric">178089</idno>
              <idno type="halauthorid" notation="string">46056-178089</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6891-4349</idno>
              <affiliation ref="#struct-547473"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Rahma</forename>
                <surname>Ben Ayed</surname>
              </persName>
              <idno type="halauthorid">861193-0</idno>
              <affiliation ref="#struct-547473"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Joris</forename>
                <surname>Rehm</surname>
              </persName>
              <email type="md5">a98a924cc7c1bced86d1173410635730</email>
              <email type="domain">loria.fr</email>
              <idno type="idhal" notation="numeric">840165</idno>
              <idno type="halauthorid" notation="string">161206-840165</idno>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Simon</forename>
                <surname>Collart-Dutilleul</surname>
              </persName>
              <idno type="halauthorid">381158-0</idno>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Philippe</forename>
                <surname>Bon</surname>
              </persName>
              <idno type="halauthorid">718629-0</idno>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Dorian</forename>
                <surname>Petit</surname>
              </persName>
              <email type="md5">eb18cfe5e1f9ee5af5d19f4a3bdfb704</email>
              <email type="domain">uphf.fr</email>
              <idno type="idhal" notation="string">dorian-petit</idno>
              <idno type="idhal" notation="numeric">1305918</idno>
              <idno type="halauthorid" notation="string">462269-1305918</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6784-3772</idno>
              <idno type="IDREF">https://www.idref.fr/078145651</idno>
              <idno type="VIAF">https://viaf.org/viaf/219374350</idno>
              <orgName ref="#struct-1001263"/>
              <affiliation ref="#struct-1303"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Julie</forename>
                <surname>Cagniard</surname>
              </persName>
              <email type="md5">1dce28e8d881110b28c59f67e22e9de1</email>
              <email type="domain">uphf.fr</email>
            </editor>
            <funder ref="#projanr-55040"/>
            <funder ref="#projanr-55040"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-05-27 10:26:43</date>
              <date type="whenModified">2024-11-27 08:34:02</date>
              <date type="whenReleased">2022-05-27 10:26:43</date>
              <date type="whenProduced">2019-07-26</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="537167">
                <persName>
                  <forename>Julie</forename>
                  <surname>Cagniard</surname>
                </persName>
                <email type="md5">1dce28e8d881110b28c59f67e22e9de1</email>
                <email type="domain">uphf.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03679809</idno>
            <idno type="halUri">https://uphf.hal.science/hal-03679809</idno>
            <idno type="halBibtex">kraibi:hal-03679809</idno>
            <idno type="halRefHtml">&lt;i&gt;14th International Conference on Software Technologies&lt;/i&gt;, Jul 2019, Prague, Czech Republic. pp.278-286, &lt;a target="_blank" href="https://dx.doi.org/10.5220/0007929602780286"&gt;&amp;#x27E8;10.5220/0007929602780286&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.278-286, &amp;#x27E8;10.5220/0007929602780286&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-VALENCIENNES">Université de Valenciennes et du Hainaut-Cambresis</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="LAMIH" corresp="UNIV-VALENCIENNES">Laboratoire d’Automatique, de Mécanique et d’Informatique Industrielles et Humaines</idno>
            <idno type="stamp" n="INSA-HAUTS-DE-FRANCE" corresp="UNIV-VALENCIENNES">INSA Institut National des Sciences Appliquées Hauts-de-France</idno>
            <idno type="stamp" n="TEST-UPHF">TEST-UPHF</idno>
            <idno type="stamp" n="IRT-RAILENIUM">IRT Railenium - L'Institut de Recherche Technologique (IRT) de la filière ferroviaire</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">Event-B Decomposition Analysis for Systems Behavior Modeling</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Kenza</forename>
                    <surname>Kraibi</surname>
                  </persName>
                  <email type="md5">c554fb6d253db4792ef393e034e768d0</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">kenza-kraibi</idno>
                  <idno type="idhal" notation="numeric">178089</idno>
                  <idno type="halauthorid" notation="string">46056-178089</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6891-4349</idno>
                  <affiliation ref="#struct-547473"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Rahma</forename>
                    <surname>Ben Ayed</surname>
                  </persName>
                  <idno type="halauthorid">861193-0</idno>
                  <affiliation ref="#struct-547473"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Joris</forename>
                    <surname>Rehm</surname>
                  </persName>
                  <email type="md5">a98a924cc7c1bced86d1173410635730</email>
                  <email type="domain">loria.fr</email>
                  <idno type="idhal" notation="numeric">840165</idno>
                  <idno type="halauthorid" notation="string">161206-840165</idno>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Simon</forename>
                    <surname>Collart-Dutilleul</surname>
                  </persName>
                  <idno type="halauthorid">381158-0</idno>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Philippe</forename>
                    <surname>Bon</surname>
                  </persName>
                  <idno type="halauthorid">718629-0</idno>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Dorian</forename>
                    <surname>Petit</surname>
                  </persName>
                  <email type="md5">eb18cfe5e1f9ee5af5d19f4a3bdfb704</email>
                  <email type="domain">uphf.fr</email>
                  <idno type="idhal" notation="string">dorian-petit</idno>
                  <idno type="idhal" notation="numeric">1305918</idno>
                  <idno type="halauthorid" notation="string">462269-1305918</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6784-3772</idno>
                  <idno type="IDREF">https://www.idref.fr/078145651</idno>
                  <idno type="VIAF">https://viaf.org/viaf/219374350</idno>
                  <orgName ref="#struct-1001263"/>
                  <affiliation ref="#struct-1303"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>14th International Conference on Software Technologies</title>
                  <date type="start">2019-07-26</date>
                  <date type="end">2019-07-28</date>
                  <settlement>Prague</settlement>
                  <country key="CZ">Czech Republic</country>
                </meeting>
                <imprint>
                  <publisher>SCITEPRESS - Science and Technology Publications</publisher>
                  <biblScope unit="pp">278-286</biblScope>
                </imprint>
              </monogr>
              <idno type="doi">10.5220/0007929602780286</idno>
              <ref type="publisher">https://www.scitepress.org/Link.aspx?doi=10.5220/0007929602780286</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Systems behavior</term>
                <term xml:lang="en">Refinement</term>
                <term xml:lang="en">Railway systems</term>
                <term xml:lang="en">Formal methods</term>
                <term xml:lang="en">Event-B</term>
                <term xml:lang="en">Decomposition</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>Applications of formal methods to critical systems such as railway systems have been studied by several research works. Their ultimate goal is to increase confidence and to ensure the behavior correctness of these systems. In this paper, we propose to use the Event-B formal method. As a central concept in Event-B, refinement is used to progressively introduce the details of systems requirements, but in most cases, it leads to voluminous and complex models. For this purpose, this paper focuses on decomposition techniques in order to manage the complexity issue in Event-B modeling. It presents a state of the art and an analysis of existing decomposition techniques. Then, an approach will be proposed following this analysis.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-547473" status="VALID">
          <orgName>L'Institut de Recherche Technologique (IRT) de la filière Ferroviaire</orgName>
          <orgName type="acronym">IRT Railenium</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>180 Rue Joseph-Louis Lagrange, 59540 Valenciennes</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://railenium.eu/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1303" status="OLD">
          <idno type="IdRef">050705253</idno>
          <idno type="ISNI">0000000122013679</idno>
          <idno type="RNSR">201220427F</idno>
          <idno type="ROR">https://ror.org/006z7v557</idno>
          <orgName>Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201</orgName>
          <orgName type="acronym">LAMIH</orgName>
          <date type="start">1994-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>LE MONT HOUY 59313 VALENCIENNES CEDEX 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.uphf.fr/LAMIH/fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300279" type="direct"/>
            <relation name="UMR8201" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300279" status="OLD">
          <idno type="IdRef">026404079</idno>
          <idno type="ISNI">0000000107901416</idno>
          <idno type="ROR">https://ror.org/02ezch769</idno>
          <orgName>Université de Valenciennes et du Hainaut-Cambrésis</orgName>
          <orgName type="acronym">UVHC</orgName>
          <date type="start">1979-01-01</date>
          <date type="end">2019-09-08</date>
          <desc>
            <address>
              <addrLine>Campus Mont Houy59313 Valenciennes Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.uphf.fr/</ref>
          </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>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-55040" status="VALID">
          <idno type="anr">ANR-10-AIRT-0006</idno>
          <orgName>RAILENIUM</orgName>
          <desc>RAILENIUM</desc>
          <date type="start">2010</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>