<?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-00962203</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-04-29T13:04:18+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Analyse de graphes dynamiques issus d'un processus de réécriture de graphes</title>
            <author role="aut">
              <persName>
                <forename type="first">Bruno</forename>
                <surname>Pinaud</surname>
              </persName>
              <email type="md5">857e1e9a7bc582b18dc9fa9ce327520c</email>
              <email type="domain">u-bordeaux.fr</email>
              <idno type="idhal" notation="string">bruno-pinaud</idno>
              <idno type="idhal" notation="numeric">630</idno>
              <idno type="halauthorid" notation="string">9848-630</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4814-3273</idno>
              <idno type="IDREF">https://www.idref.fr/103903860</idno>
              <idno type="ARXIV">https://arxiv.org/a/pinaud_b_1</idno>
              <affiliation ref="#struct-3102"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Bruno</forename>
                <surname>Pinaud</surname>
              </persName>
              <email type="md5">857e1e9a7bc582b18dc9fa9ce327520c</email>
              <email type="domain">u-bordeaux.fr</email>
            </editor>
            <funder ref="#projanr-33173"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2014-03-24 12:18:38</date>
              <date type="whenWritten">2013-09</date>
              <date type="whenModified">2025-05-26 14:36:02</date>
              <date type="whenReleased">2014-03-25 14:49:26</date>
              <date type="whenProduced">2013-09</date>
              <date type="whenEndEmbargoed">2014-03-24</date>
              <ref type="file" target="https://hal.science/hal-00962203v1/document">
                <date notBefore="2014-03-24"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00962203v1/file/gt_visu.pdf" id="file-962203-602411">
                <date notBefore="2014-03-24"/>
              </ref>
              <ref type="annex" subtype="other" n="0" target="https://hal.science/hal-00962203v1/file/PORGY.pdf" id="file-962203-602410">
                <date notBefore="2014-03-24"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="125660">
                <persName>
                  <forename>Bruno</forename>
                  <surname>Pinaud</surname>
                </persName>
                <email type="md5">857e1e9a7bc582b18dc9fa9ce327520c</email>
                <email type="domain">u-bordeaux.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00962203</idno>
            <idno type="halUri">https://hal.science/hal-00962203</idno>
            <idno type="halBibtex">pinaud:hal-00962203</idno>
            <idno type="halRefHtml">2013</idno>
            <idno type="halRef">2013</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-962203-602411"/><ref corresp="#file-962203-602410"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="ENSEIRB">Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux</idno>
            <idno type="stamp" n="UNIV-BORDEAUX">Université de Bordeaux</idno>
            <idno type="stamp" n="LABRI-MABIOVIS" corresp="LABRI">Modèles et algorithmes pour la bioinformatique et la visualisation d'informations</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="UNIVERSITE-BORDEAUX">Université de Bordeaux</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Document support à la présentation orale donnée pendant le groupe de travail. Voir http://ihm13.bordeaux.inria.fr/programme/gt/gt1-visualisation-dinformation-interaction-et-fouille-de-donnees/</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Analyse de graphes dynamiques issus d'un processus de réécriture de graphes</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Bruno</forename>
                    <surname>Pinaud</surname>
                  </persName>
                  <email type="md5">857e1e9a7bc582b18dc9fa9ce327520c</email>
                  <email type="domain">u-bordeaux.fr</email>
                  <idno type="idhal" notation="string">bruno-pinaud</idno>
                  <idno type="idhal" notation="numeric">630</idno>
                  <idno type="halauthorid" notation="string">9848-630</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4814-3273</idno>
                  <idno type="IDREF">https://www.idref.fr/103903860</idno>
                  <idno type="ARXIV">https://arxiv.org/a/pinaud_b_1</idno>
                  <affiliation ref="#struct-3102"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</classCode>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="fr">
              <p>Je m'intéresse à la modélisation, la simulation et l'analyse de systèmes complexes obtenus par de la réécriture de graphes. Imaginez un jeu dans lequel des règles de transformation sont successivement appliquées sur un graphe jusqu'à atteindre une condition d'arrêt. Une règle décrit un motif local (un sous-graphe) qui doit être identifié dans le graphe et comment transformer ce motif. Le formalisme de la réécriture de graphes est à la fois très riche et complexe rendant l'étude d'un système utilisant ce formalisme difficile. Par exemple, prédire si une suite de règles est applicable dans n'importe quel ordre est bien souvent un problème difficile. Pour la modélisation de systèmes complexes, les formalismes graphiques ont des avantages certains : ils sont intuitifs et rendent plus facile le raisonnement sur le système. Nous avons donc développé la plate-forme PORGY (Voir http://tulip.labri.fr/TulipDrupal/?q=porgy). Chaque modification autorisée (topologie, attributs des sommets/arêtes) sur un graphe donné G est appelée une règle de réécriture. Elles servent à modéliser les connaissances de l'expert sur le système étudié et décrivent comment un (petit) sous-graphe de G doit être modifié ou réécrit. Des modifications plus complexes sont réalisées en combinant des séquences de règles avec des opérateurs spécifiques dans une stratégie qui décrit qui/quand/où/comment appliquer les règles. Porgy permet dans un premier temps de concevoir et d'éditer graphiquement des règles. Le challenge principal est alors de savoir si la règle ainsi construite est un modèle correct du système étudié. Porgy permet alors de simuler l'évolution du système après avoir défini une stratégie de réécriture. L'historique des calculs est géré par l'arbre de dérivation. Ses sommets sont les différents états pris par le graphe en cours de réécriture. La complexité du système de réécriture est d'une certaine façon capturée par l'arbre de dérivation, qui est donc un objet central pour l'étude d'un système de réécriture. Si on considère le graphe sur lequel les règles sont appliqués comme un graphe dynamique, l'arbre de dérivation regroupe alors l'ensemble des transformations possibles de ce graphe (une sorte de story-board). Les branches de l'arbre (qui peut être infini) sont à considérer comme autant de monde parallèles rendant l'étude et la visualisation du système très difficile. L'étude d'un système de réécriture nécessite de passer en permanence de vues locales (les règles, les graphes) à une vue globale de l'arbre de dérivation. Le principal enjeu est alors de comprendre comment le comportement global du système est dirigé par les règles qui définissent des modifications uniquement locales et une stratégie qui pilote l'application de ces règles. C'est en regardant précisément les graphes dans l'arbre de dérivation tant globalement que localement qu'un expert du domaine peut apprécier l'adéquation du modèle avec le système.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <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="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="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-33173" status="VALID">
          <idno type="anr">ANR-10-JCJC-0201</idno>
          <idno type="program">Jeunes Chercheuses et Jeunes Chercheurs</idno>
          <orgName>EVIDEN</orgName>
          <desc>Exploration et VIsualisation de Données rElationnelles dyNamiques</desc>
          <date type="start">2010</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>