<?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 inria-00098406</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-23T00:25:05+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Process control engineering: contribution to a formal structuring framework with the B method</title>
            <author role="aut">
              <persName>
                <forename type="first">Jean-François</forename>
                <surname>Pétin</surname>
              </persName>
              <email type="md5">1674b2302b0112a4773e01d0c193eaf9</email>
              <email type="domain">cran.uhp-nancy.fr</email>
              <idno type="idhal" notation="numeric">834881</idno>
              <idno type="halauthorid" notation="string">161543-834881</idno>
              <idno type="IDREF">https://www.idref.fr/133283496</idno>
              <idno type="ISNI">http://isni.org/isni/0000000431291293</idno>
              <orgName ref="#struct-300291"/>
              <affiliation ref="#struct-1001"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gérard</forename>
                <surname>Morel</surname>
              </persName>
              <idno type="halauthorid">116648-0</idno>
              <affiliation ref="#struct-1001"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Dominique</forename>
                <surname>Méry</surname>
              </persName>
              <email type="md5">4e77052acb8448eac320436f437fa7eb</email>
              <email type="domain">loria.fr</email>
              <idno type="idhal" notation="string">dominiquemery</idno>
              <idno type="idhal" notation="numeric">1227</idno>
              <idno type="halauthorid" notation="string">38012-1227</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5231-6611</idno>
              <idno type="IDREF">https://www.idref.fr/076035085</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=S7H-l5UAAAAJ</idno>
              <affiliation ref="#struct-23092"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Patrick</forename>
                <surname>Lamboley</surname>
              </persName>
              <idno type="halauthorid">167703-0</idno>
              <orgName ref="#struct-300291"/>
              <affiliation ref="#struct-1001"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Publications</forename>
                <surname>Loria</surname>
              </persName>
              <email type="md5">5ee6acd102a820bf4e187a1ec952273f</email>
              <email type="domain">loria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2006-09-25 16:53:29</date>
              <date type="whenModified">2025-11-04 12:00:45</date>
              <date type="whenReleased">2006-09-28 15:22:44</date>
              <date type="whenProduced">1998</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="108626">
                <persName>
                  <forename>Publications</forename>
                  <surname>Loria</surname>
                </persName>
                <email type="md5">5ee6acd102a820bf4e187a1ec952273f</email>
                <email type="domain">loria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">inria-00098406</idno>
            <idno type="halUri">https://inria.hal.science/inria-00098406</idno>
            <idno type="halBibtex">petin:inria-00098406</idno>
            <idno type="halRefHtml">&lt;i&gt;The 2nd International B Conference&lt;/i&gt;, 1998, Montpellier, France. pp.198-209</idno>
            <idno type="halRef">The 2nd International B Conference, 1998, Montpellier, France. pp.198-209</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INPL">Institut National Polytechnique de Lorraine</idno>
            <idno type="stamp" n="CRAN">Centre de Recherche en Automatique de Nancy</idno>
            <idno type="stamp" n="CRAN-SYMPA" corresp="CRAN">CRAN - Systèmes de production ambiants</idno>
            <idno type="stamp" n="LABO-LORIA-SET">LABO-LORIA-SET</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="LORIA">Laboratoire Lorrain de Recherche en Informatique et ses Applications</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="commentary">Colloque avec actes et comité de lecture.</note>
            <note type="audience" n="1">Not set</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">Process control engineering: contribution to a formal structuring framework with the B method</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-François</forename>
                    <surname>Pétin</surname>
                  </persName>
                  <email type="md5">1674b2302b0112a4773e01d0c193eaf9</email>
                  <email type="domain">cran.uhp-nancy.fr</email>
                  <idno type="idhal" notation="numeric">834881</idno>
                  <idno type="halauthorid" notation="string">161543-834881</idno>
                  <idno type="IDREF">https://www.idref.fr/133283496</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000431291293</idno>
                  <orgName ref="#struct-300291"/>
                  <affiliation ref="#struct-1001"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gérard</forename>
                    <surname>Morel</surname>
                  </persName>
                  <idno type="halauthorid">116648-0</idno>
                  <affiliation ref="#struct-1001"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Dominique</forename>
                    <surname>Méry</surname>
                  </persName>
                  <email type="md5">4e77052acb8448eac320436f437fa7eb</email>
                  <email type="domain">loria.fr</email>
                  <idno type="idhal" notation="string">dominiquemery</idno>
                  <idno type="idhal" notation="numeric">1227</idno>
                  <idno type="halauthorid" notation="string">38012-1227</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5231-6611</idno>
                  <idno type="IDREF">https://www.idref.fr/076035085</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=S7H-l5UAAAAJ</idno>
                  <affiliation ref="#struct-23092"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Patrick</forename>
                    <surname>Lamboley</surname>
                  </persName>
                  <idno type="halauthorid">167703-0</idno>
                  <orgName ref="#struct-300291"/>
                  <affiliation ref="#struct-1001"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">98-R-008 || petin98c</idno>
                <meeting>
                  <title>The 2nd International B Conference</title>
                  <date type="start">1998</date>
                  <settlement>Montpellier</settlement>
                  <country key="FR">France</country>
                </meeting>
                <editor>Didier Bert</editor>
                <imprint>
                  <publisher>Springer Verlag</publisher>
                  <biblScope unit="serie">Lecture Notes in Computer Science</biblScope>
                  <biblScope unit="volume">1393</biblScope>
                  <biblScope unit="pp">198-209</biblScope>
                  <date type="datePub">1998</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">formal method</term>
                <term xml:lang="en">B method</term>
                <term xml:lang="en">process control systems engineering</term>
                <term xml:lang="en">méthode B</term>
                <term xml:lang="en">contrôle de processus</term>
                <term xml:lang="en">méthodologie</term>
                <term xml:lang="en">methodology</term>
                <term xml:lang="en">méthode formelle</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</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>This paper explores the use of the B method as a formal framework for structuring and verifying process control systems engineering. In particular, it is shown how the B method can be used to define implementation independent modular specifications. Benefits are related to the re-use of verified and perennial specifications for control systems facing a fast evolution of implementation technologies. Limits are related to the compliance of formal methods with the other methods or methodologies involved in the development of a production system. This justifies the methodological framework needed for representing, reasoning and verifying the control system as interacting with other technological or human systems. The approach is illustrated and discussed using a level control system example.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1001" status="OLD">
          <orgName>Centre de Recherche en Automatique de Nancy</orgName>
          <orgName type="acronym">CRAN</orgName>
          <date type="start">2001-01-01</date>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>Université Henri Poincaré, 2 avenue de la forêt de Haye, 54516 Vandoeuvre les Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cran.uhp-nancy.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300291" type="direct"/>
            <relation active="#struct-300293" type="direct"/>
            <relation name="UMR7039" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-23092" status="OLD">
          <orgName>MODEL (Méthodes formelles et applications)</orgName>
          <orgName type="acronym">MODEL</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-466633" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-300291" type="indirect"/>
            <relation active="#struct-300292" type="indirect"/>
            <relation active="#struct-300293" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300291" status="OLD">
          <orgName>Université Henri Poincaré - Nancy 1</orgName>
          <orgName type="acronym">UHP</orgName>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300293" status="OLD">
          <orgName>Institut National Polytechnique de Lorraine</orgName>
          <orgName type="acronym">INPL</orgName>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <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>
        <org type="laboratory" xml:id="struct-466633" status="OLD">
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2011-12-31</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-300291" type="direct"/>
            <relation active="#struct-300292" type="direct"/>
            <relation active="#struct-300293" 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="institution" xml:id="struct-300292" status="OLD">
          <orgName>Université Nancy 2</orgName>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>