<?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-01251871v3</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-24T15:20:31+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Strategic Port Graph Rewriting: an Interactive Modelling Framework</title>
            <author role="aut">
              <persName>
                <forename type="first">Maribel</forename>
                <surname>Fernández</surname>
              </persName>
              <idno type="halauthorid">979430-0</idno>
              <affiliation ref="#struct-494751"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Hélène</forename>
                <surname>Kirchner</surname>
              </persName>
              <email type="md5">5a4921eb599394cd46ddce8dc26d40e4</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">helene-kirchner</idno>
              <idno type="idhal" notation="numeric">7679</idno>
              <idno type="halauthorid" notation="string">7512-7679</idno>
              <idno type="IDREF">https://www.idref.fr/033432112</idno>
              <idno type="ORCID">https://orcid.org/0009-0001-6778-1791</idno>
              <affiliation ref="#struct-207728"/>
            </author>
            <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-259761"/>
              <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>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2016-01-06 19:45:08</date>
            </edition>
            <edition n="v2">
              <date type="whenSubmitted">2017-07-13 18:07:25</date>
            </edition>
            <edition n="v3" type="current">
              <date type="whenSubmitted">2017-12-22 15:51:16</date>
              <date type="whenWritten">2017</date>
              <date type="whenModified">2026-04-03 03:03:11</date>
              <date type="whenReleased">2017-12-22 17:42:54</date>
              <date type="whenProduced">2019-05</date>
              <date type="whenEndEmbargoed">2017-12-22</date>
              <ref type="file" target="https://inria.hal.science/hal-01251871v3/document">
                <date notBefore="2017-12-22"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01251871v3/file/main-long-report.pdf" id="file-1671767-1712069">
                <date notBefore="2017-12-22"/>
              </ref>
              <ref type="externalLink" target="https://hal.inria.fr/hal-01251871/file/main-long-report.pdf"/>
            </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-01251871</idno>
            <idno type="halUri">https://inria.hal.science/hal-01251871</idno>
            <idno type="halBibtex">fernandez:hal-01251871</idno>
            <idno type="halRefHtml">&lt;i&gt;Mathematical Structures in Computer Science&lt;/i&gt;, 2019, 29 (5), pp.615--662. &lt;a target="_blank" href="https://dx.doi.org/10.1017/S0960129518000270"&gt;&amp;#x27E8;10.1017/S0960129518000270&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Mathematical Structures in Computer Science, 2019, 29 (5), pp.615--662. &amp;#x27E8;10.1017/S0960129518000270&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1671767-1712069"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="ENSEIRB">Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux</idno>
            <idno type="stamp" n="LABRI">Laboratoire Bordelais de Recherche en Informatique</idno>
            <idno type="stamp" n="UNIV-BORDEAUX">Université de Bordeaux</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</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="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
            <idno type="stamp" n="INRIAARTDOI">INRIAARTDOI</idno>
            <idno type="stamp" n="INRIA-ROYAUMEUNI">INRIA-ROYAUMEUNI</idno>
            <idno type="stamp" n="UNIVERSITE-BORDEAUX">Université de Bordeaux</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Strategic Port Graph Rewriting: an Interactive Modelling Framework</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Maribel</forename>
                    <surname>Fernández</surname>
                  </persName>
                  <idno type="halauthorid">979430-0</idno>
                  <affiliation ref="#struct-494751"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Hélène</forename>
                    <surname>Kirchner</surname>
                  </persName>
                  <email type="md5">5a4921eb599394cd46ddce8dc26d40e4</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">helene-kirchner</idno>
                  <idno type="idhal" notation="numeric">7679</idno>
                  <idno type="halauthorid" notation="string">7512-7679</idno>
                  <idno type="IDREF">https://www.idref.fr/033432112</idno>
                  <idno type="ORCID">https://orcid.org/0009-0001-6778-1791</idno>
                  <affiliation ref="#struct-207728"/>
                </author>
                <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-259761"/>
                  <affiliation ref="#struct-3102"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">16931</idno>
                <idno type="issn">0960-1295</idno>
                <idno type="eissn">1469-8072</idno>
                <title level="j">Mathematical Structures in Computer Science</title>
                <imprint>
                  <publisher>Cambridge University Press (CUP)</publisher>
                  <biblScope unit="volume">29</biblScope>
                  <biblScope unit="issue">5</biblScope>
                  <biblScope unit="pp">615--662</biblScope>
                  <date type="datePub">2019-05</date>
                  <date type="dateEpub">2018-08-02</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1017/S0960129518000270</idno>
              <ref target="http://porgy.labri.fr/strat_examples/" type="seeAlso"/>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">port graphs</term>
                <term xml:lang="en">Labelled Graphs</term>
                <term xml:lang="en">rewriting</term>
                <term xml:lang="en">strategy</term>
                <term xml:lang="en">strategic rewrite programs</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We present strategic port graph rewriting as a basis for the implementation of visual modelling tools. The goal is to facilitate the specification and programming tasks associated with the modelling of complex systems. A system is represented by an initial graph and a collection of graph rewrite rules, together with a user-defined strategy to control the application of rules. The traditional operators found in strategy languages for term rewriting have been adapted to deal with the more general setting of graph rewriting, and some new constructs have been included in the strategy language to deal with graph traversal and management of rewriting positions in the graph. We give a formal semantics for the language, and describe its implementation: the graph transformation and visualisation tool Porgy.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="department" xml:id="struct-494751" status="VALID">
          <orgName>Department of Informatics [King's College London]</orgName>
          <date type="start">2017-05-11</date>
          <desc>
            <address>
              <country key="GB"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-327716" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-207728" status="VALID">
          <idno type="RNSR">196724818Z</idno>
          <orgName>Inria Siège</orgName>
          <desc>
            <address>
              <addrLine>Domaine de Voluceau 78150 Rocquencourt</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-300009" 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="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-327716" status="VALID">
          <orgName>King‘s College London</orgName>
          <desc>
            <address>
              <addrLine>Strand Campus, London WC2R 2LS</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.kcl.ac.uk</ref>
          </desc>
        </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-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>
    </back>
  </text>
</TEI>