<?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-01485976</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-21T15:09:19+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Behaviour Protection in Modular Rule-Based System Specifications</title>
            <author role="aut">
              <persName>
                <forename type="first">Francisco</forename>
                <surname>Durán</surname>
              </persName>
              <email type="md5">3e4354eaa93f77db0c7cd66c6e133731</email>
              <email type="domain">lcc.uma.es</email>
              <idno type="idhal" notation="numeric">1003768</idno>
              <idno type="halauthorid" notation="string">426691-1003768</idno>
              <affiliation ref="#struct-198404"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Fernando</forename>
                <surname>Orejas</surname>
              </persName>
              <email type="md5">b17d5b1eb73b42c571a555035b44899f</email>
              <email type="domain">lsi.upc.edu</email>
              <idno type="idhal" notation="numeric">872871</idno>
              <idno type="halauthorid" notation="string">473960-872871</idno>
              <affiliation ref="#struct-85878"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Steffen</forename>
                <surname>Zschaler</surname>
              </persName>
              <email type="md5">7b36fc378d259b234b5d2dfb39cc6200</email>
              <email type="domain">acm.org</email>
              <idno type="idhal" notation="numeric">950126</idno>
              <idno type="halauthorid" notation="string">451034-950126</idno>
              <affiliation ref="#struct-327716"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-03-09 15:33:37</date>
              <date type="whenModified">2024-04-09 08:56:04</date>
              <date type="whenReleased">2017-03-09 15:36:07</date>
              <date type="whenProduced">2012-06-07</date>
              <date type="whenEndEmbargoed">2016-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01485976v1/document">
                <date notBefore="2016-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01485976v1/file/978-3-642-37635-1_2_Chapter.pdf" id="file-1485976-1551840">
                <date notBefore="2016-01-01"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-37635-1_2.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01485976</idno>
            <idno type="halUri">https://inria.hal.science/hal-01485976</idno>
            <idno type="halBibtex">duran:hal-01485976</idno>
            <idno type="halRefHtml">&lt;i&gt;21th InternationalWorkshop on Algebraic Development Techniques (WADT)&lt;/i&gt;, Jun 2012, Salamanca, Spain. pp.24-49, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-37635-1_2"&gt;&amp;#x27E8;10.1007/978-3-642-37635-1_2&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.24-49, &amp;#x27E8;10.1007/978-3-642-37635-1_2&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1485976-1551840"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-TC1" corresp="IFIP-TC">IFIP TC1: Foundations of Computer Science</idno>
            <idno type="stamp" n="IFIP-WG1-3">IFIP-WG1-3</idno>
            <idno type="stamp" n="IFIP-LNCS-7841" corresp="IFIP-LNCS">Recent Trends in Algebraic DevelopmentTechniques</idno>
            <idno type="stamp" n="IFIP-WADT">Workshop on Recent Trends in Algebraic Development Techniques</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">Behaviour Protection in Modular Rule-Based System Specifications</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Francisco</forename>
                    <surname>Durán</surname>
                  </persName>
                  <email type="md5">3e4354eaa93f77db0c7cd66c6e133731</email>
                  <email type="domain">lcc.uma.es</email>
                  <idno type="idhal" notation="numeric">1003768</idno>
                  <idno type="halauthorid" notation="string">426691-1003768</idno>
                  <affiliation ref="#struct-198404"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Fernando</forename>
                    <surname>Orejas</surname>
                  </persName>
                  <email type="md5">b17d5b1eb73b42c571a555035b44899f</email>
                  <email type="domain">lsi.upc.edu</email>
                  <idno type="idhal" notation="numeric">872871</idno>
                  <idno type="halauthorid" notation="string">473960-872871</idno>
                  <affiliation ref="#struct-85878"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Steffen</forename>
                    <surname>Zschaler</surname>
                  </persName>
                  <email type="md5">7b36fc378d259b234b5d2dfb39cc6200</email>
                  <email type="domain">acm.org</email>
                  <idno type="idhal" notation="numeric">950126</idno>
                  <idno type="halauthorid" notation="string">451034-950126</idno>
                  <affiliation ref="#struct-327716"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>21th InternationalWorkshop on Algebraic Development Techniques (WADT)</title>
                  <date type="start">2012-06-07</date>
                  <date type="end">2012-06-10</date>
                  <settlement>Salamanca</settlement>
                  <country key="ES">Spain</country>
                </meeting>
                <editor>Narciso Martí-Oliet</editor>
                <editor>Miguel Palomino</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Recent Trends in Algebraic Development Techniques</biblScope>
                  <biblScope unit="volume">LNCS-7841</biblScope>
                  <biblScope unit="pp">24-49</biblScope>
                  <date type="datePub">2013</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-37635-1_2</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>Model-driven engineering (MDE) and, in particular, the notion of domain-specific modelling languages (DSMLs) is an increasingly popular approach to systems development. DSMLs are particularly interesting because they allow encoding domain-knowledge into a modelling language and enable full code generation and analysis based on high-level models. However, as a result of the domain-specificity of DSMLs, there is a need for many such languages. This means that their use only becomes economically viable if the development of new DSMLs can be made efficient. One way to achieve this is by reusing functionality across DSMLs. On this background, we are working on techniques for modularising DSMLs into reusable units. Specifically, we focus on DSMLs whose semantics are defined through in-place model transformations. In this paper, we present a formal framework of morphisms between graph-transformation systems (GTSs) that allow us to define a novel technique for conservative extensions of such DSMLs. In particular, we define different behaviour-aware GTS morphisms and prove that they can be used to define conservative extensions of a GTS.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 1</org>
              <org type="consortium">WG 1.3</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-198404" status="VALID">
          <orgName>Universidad de Málaga [Málaga] = University of Málaga [Málaga]</orgName>
          <desc>
            <address>
              <addrLine>Avda. Cervantes, 2   29071 MÁLAGA</addrLine>
              <country key="ES"/>
            </address>
            <ref type="url">http://www.uma.es/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-85878" status="VALID">
          <idno type="ROR">https://ror.org/03mb6wj31</idno>
          <orgName>Universitat Politècnica de Catalunya =  Université polytechnique de Catalogne = Polytechnic University of Catalunya [Barcelona]</orgName>
          <orgName type="acronym">UPC</orgName>
          <desc>
            <address>
              <addrLine>C./Jordi Girona, 1-3, 08034 Barcelona</addrLine>
              <country key="ES"/>
            </address>
            <ref type="url">https://www.upc.edu/ca</ref>
          </desc>
        </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>
      </listOrg>
    </back>
  </text>
</TEI>