<?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-00099768</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-18T03:06:20+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Transformation systématique de spécifications UML en B</title>
            <author role="aut">
              <persName>
                <forename type="first">Hung</forename>
                <surname>Ledang</surname>
              </persName>
              <idno type="halauthorid">168124-0</idno>
              <orgName ref="#struct-300292"/>
              <affiliation ref="#struct-2492"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jeanine</forename>
                <surname>Souquières</surname>
              </persName>
              <idno type="halauthorid">817-0</idno>
              <orgName ref="#struct-300292"/>
              <affiliation ref="#struct-2492"/>
            </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-26 09:41:03</date>
              <date type="whenModified">2025-11-04 12:01:40</date>
              <date type="whenReleased">2006-09-28 15:22:46</date>
              <date type="whenProduced">2003</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-00099768</idno>
            <idno type="halUri">https://inria.hal.science/inria-00099768</idno>
            <idno type="halBibtex">ledang:inria-00099768</idno>
            <idno type="halRefHtml">[Interne] A03-R-192 || ledang03b, 2003, 25 p</idno>
            <idno type="halRef">[Interne] A03-R-192 || ledang03b, 2003, 25 p</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="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="LARA">LARA</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">Rapport interne.</note>
            <note type="audience" n="1">Not set</note>
            <note type="report" n="3">Intern report</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Transformation systématique de spécifications UML en B</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Hung</forename>
                    <surname>Ledang</surname>
                  </persName>
                  <idno type="halauthorid">168124-0</idno>
                  <orgName ref="#struct-300292"/>
                  <affiliation ref="#struct-2492"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jeanine</forename>
                    <surname>Souquières</surname>
                  </persName>
                  <idno type="halauthorid">817-0</idno>
                  <orgName ref="#struct-300292"/>
                  <affiliation ref="#struct-2492"/>
                </author>
              </analytic>
              <monogr>
                <idno type="reportNumber">A03-R-192 || ledang03b</idno>
                <imprint>
                  <biblScope unit="pp">25 p</biblScope>
                  <date type="datePub">2003</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="fr">opération ocl</term>
                <term xml:lang="fr">ocl operatio</term>
                <term xml:lang="fr">contrainte ocl</term>
                <term xml:lang="fr">obligation de preuve</term>
                <term xml:lang="fr">raffinement</term>
                <term xml:lang="fr">cas d'utilisation</term>
                <term xml:lang="fr">événements</term>
                <term xml:lang="fr">opération uml</term>
                <term xml:lang="fr">schéma de dérivation</term>
                <term xml:lang="fr">ocl constraint</term>
                <term xml:lang="fr">proof obligation</term>
                <term xml:lang="fr">refinement</term>
                <term xml:lang="fr">use case</term>
                <term xml:lang="fr">event</term>
                <term xml:lang="fr">uml operation</term>
                <term xml:lang="fr">derivation schema</term>
                <term xml:lang="fr">uml</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</classCode>
              <classCode scheme="halTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halOldTypology" n="REPORT">Reports</classCode>
              <classCode scheme="halTreeTypology" n="REPORT">Reports</classCode>
            </textClass>
            <abstract xml:lang="fr">
              <p>La dérivation de spécifications UML en B est considérée comme une approche appropriée afin d'utiliser conjointement UML et B dans un développement unifié, pratique et rigoureux de logiciels. D'une part, cette dérivation permet d'utiliser les spécifications UML comme point de départ pour développer les spécifications B. D'autre part, il est possible d'utiliser les outils supports puissants de B comme AtelierB pour analyser les spécifications B dérivées afin d'identifier les défauts au sein de spécifications UML. Cet article présente une procédure de dérivation d'une spécification B à partir d'un ensemble de diagrammes UML de classes et de collaboration. Cette procédure est basée sur une approche utilisant le raffinement B pour modéliser les opérations UML. La procédure de dérivation est complétée par un ensemble de schémas de dérivation d'OCL en B. Ce qui permet de compléter la transformation des modèles UML en B en prenant en compte des contraintes OCL associées aux diagrammes UML: les invariants de classes, les pré-et postconditions des opérations, les gardes au sein des diagrammes de collaboration.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-2492" status="OLD">
          <orgName>Development of specifications</orgName>
          <orgName type="acronym">DEDALE</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr/la-recherche-en/equipes/dedale</ref>
          </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="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-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-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>
        <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>
      </listOrg>
    </back>
  </text>
</TEI>