<?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-01125172</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-26T01:54:15+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Systematic Identification of Preconditions from Set-Based Integrity Constraints</title>
            <author role="aut">
              <persName>
                <forename type="first">Amel</forename>
                <surname>Mammar</surname>
              </persName>
              <email type="md5">c2dd4c89e5af147976133ba83459a7fa</email>
              <email type="domain">iie.cnam.fr</email>
              <idno type="idhal" notation="string">amel-mammar</idno>
              <idno type="idhal" notation="numeric">180063</idno>
              <idno type="halauthorid" notation="string">29422-180063</idno>
              <idno type="IDREF">https://www.idref.fr/078971748</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0016-6898</idno>
              <affiliation ref="#struct-16574"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Frédéric</forename>
                <surname>Gervais</surname>
              </persName>
              <email type="md5">26813e9370c3beb58fec1a9eb6b57e1f</email>
              <email type="domain">yahoo.fr</email>
              <idno type="idhal" notation="string">frederic-gervais</idno>
              <idno type="idhal" notation="numeric">3120</idno>
              <idno type="halauthorid" notation="string">11434-3120</idno>
              <idno type="IDREF">https://www.idref.fr/121863220</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3672-402X</idno>
              <affiliation ref="#struct-16574"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Régine</forename>
                <surname>Laleau</surname>
              </persName>
              <email type="md5">239f67be4a2d570c5de248c4ab039554</email>
              <email type="domain">u-pec.fr</email>
              <idno type="idhal" notation="string">regine-laleau</idno>
              <idno type="idhal" notation="numeric">749253</idno>
              <idno type="halauthorid" notation="string">2378-749253</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/ABA-9759-2021</idno>
              <idno type="IDREF">https://www.idref.fr/150895194</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2019-4936</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/ABA-9759-2021</idno>
              <affiliation ref="#struct-16574"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Laboratoire</forename>
                <surname>CEDRIC</surname>
              </persName>
              <email type="md5">34e509f884b6168d15336e5a2357ce4c</email>
              <email type="domain">cnam.fr.invalid</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-03-06 11:01:18</date>
              <date type="whenWritten">2006-01-01</date>
              <date type="whenModified">2025-07-09 15:06:18</date>
              <date type="whenReleased">2015-03-06 11:01:18</date>
              <date type="whenProduced">2006-01-01</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="308156">
                <persName>
                  <forename>Laboratoire</forename>
                  <surname>CEDRIC</surname>
                </persName>
                <email type="md5">34e509f884b6168d15336e5a2357ce4c</email>
                <email type="domain">cnam.fr.invalid</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01125172</idno>
            <idno type="halUri">https://hal.science/hal-01125172</idno>
            <idno type="halBibtex">mammar:hal-01125172</idno>
            <idno type="halRefHtml">&lt;i&gt;INFORSID'06, Hammamet, Tunisie&lt;/i&gt;, Jan 2006, X, France. pp.595-610</idno>
            <idno type="halRef">INFORSID'06, Hammamet, Tunisie, Jan 2006, X, France. pp.595-610</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNAM">Conservatoire National des Arts et Métiers</idno>
            <idno type="stamp" n="CEDRIC-CNAM" corresp="CNAM">Centre d'études et de recherche en informatique et communications </idno>
            <idno type="stamp" n="TSP-DISSEM">Distributed Systems, Software Engineering and Middleware group</idno>
            <idno type="stamp" n="TSP-DIEGO">DIEGO group</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">Systematic Identification of Preconditions from Set-Based Integrity Constraints</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Amel</forename>
                    <surname>Mammar</surname>
                  </persName>
                  <email type="md5">c2dd4c89e5af147976133ba83459a7fa</email>
                  <email type="domain">iie.cnam.fr</email>
                  <idno type="idhal" notation="string">amel-mammar</idno>
                  <idno type="idhal" notation="numeric">180063</idno>
                  <idno type="halauthorid" notation="string">29422-180063</idno>
                  <idno type="IDREF">https://www.idref.fr/078971748</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0016-6898</idno>
                  <affiliation ref="#struct-16574"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Frédéric</forename>
                    <surname>Gervais</surname>
                  </persName>
                  <email type="md5">26813e9370c3beb58fec1a9eb6b57e1f</email>
                  <email type="domain">yahoo.fr</email>
                  <idno type="idhal" notation="string">frederic-gervais</idno>
                  <idno type="idhal" notation="numeric">3120</idno>
                  <idno type="halauthorid" notation="string">11434-3120</idno>
                  <idno type="IDREF">https://www.idref.fr/121863220</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3672-402X</idno>
                  <affiliation ref="#struct-16574"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Régine</forename>
                    <surname>Laleau</surname>
                  </persName>
                  <email type="md5">239f67be4a2d570c5de248c4ab039554</email>
                  <email type="domain">u-pec.fr</email>
                  <idno type="idhal" notation="string">regine-laleau</idno>
                  <idno type="idhal" notation="numeric">749253</idno>
                  <idno type="halauthorid" notation="string">2378-749253</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/ABA-9759-2021</idno>
                  <idno type="IDREF">https://www.idref.fr/150895194</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2019-4936</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/ABA-9759-2021</idno>
                  <affiliation ref="#struct-16574"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">MGL06</idno>
                <meeting>
                  <title>INFORSID'06, Hammamet, Tunisie</title>
                  <date type="start">2006-01-01</date>
                  <settlement>X</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">595-610</biblScope>
                  <date type="datePub">2006-01-01</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</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>La préservation des contraintes dintégrité fait partie des problèmes soulevés lors de la conception dun système dinformation. Dans nos travaux antérieurs, nous avons défini une approche formelle qui génère des spécifications B à partir dune description UML du système. Concrètement, la spécification B est composée dun ensemble de variables détat qui modélisent les données et dune liste dopérations qui représentent les transactions. Les contraintes dintégrité sont alors exprimées comme des propriétés dinvariance. Jusquà présent, les opérations générées ne préservaient quune classe réduite de contraintes. Dans ce papier, nous décrivons une approche systématique afin didentifier les préconditions pour une plus grande classe dinvariants B. Lapproche proposée se base sur des règles de réécriture et de simplification que nous appliquons sur les invariants B.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-16574" status="VALID">
          <idno type="IdRef">155463381</idno>
          <idno type="RNSR">201119480F</idno>
          <idno type="ROR">https://ror.org/044j5mm75</idno>
          <orgName>Centre d'études et de recherche en informatique et communications</orgName>
          <orgName type="acronym">CEDRIC</orgName>
          <desc>
            <address>
              <addrLine>292 rue Saint-Martin 75141 PARIS Cedex 03Case courrier 2D4P30</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://cedric.cnam.fr/</ref>
          </desc>
          <listRelation>
            <relation name="EA4629" active="#struct-179741" type="direct"/>
            <relation name="EA4629" active="#struct-300351" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-179741" status="VALID">
          <orgName>Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise</orgName>
          <orgName type="acronym">ENSIIE</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensiie.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300351" status="VALID">
          <idno type="IdRef">027404978</idno>
          <idno type="ISNI">0000000121690459</idno>
          <idno type="ROR">https://ror.org/0175hh227</idno>
          <orgName>Conservatoire National des Arts et Métiers [Cnam]</orgName>
          <orgName type="acronym">Cnam</orgName>
          <desc>
            <address>
              <addrLine>292 Rue Saint-Martin, 75003 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cnam.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>