<?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-01824811</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-20T23:07:04+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Preserving Contract Satisfiability Under Non-monotonic Composition</title>
            <author role="aut">
              <persName>
                <forename type="first">Jonas</forename>
                <surname>Westman</surname>
              </persName>
              <email type="md5">e709fff8e60089a80262d7c5fb4f6449</email>
              <email type="domain">kth.se</email>
              <idno type="idhal" notation="numeric">1033822</idno>
              <idno type="halauthorid" notation="string">1388074-1033822</idno>
              <affiliation ref="#struct-366312"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mattias</forename>
                <surname>Nyberg</surname>
              </persName>
              <idno type="halauthorid">724939-0</idno>
              <affiliation ref="#struct-366312"/>
              <affiliation ref="#struct-469866"/>
            </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">2018-06-27 15:55:15</date>
              <date type="whenModified">2023-09-13 07:52:03</date>
              <date type="whenReleased">2018-06-27 15:58:57</date>
              <date type="whenProduced">2018-06-18</date>
              <date type="whenEndEmbargoed">2021-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01824811v1/document">
                <date notBefore="2021-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01824811v1/file/469043_1_En_10_Chapter.pdf" id="file-1824811-1852303">
                <date notBefore="2021-01-01"/>
              </ref>
            </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-01824811</idno>
            <idno type="halUri">https://inria.hal.science/hal-01824811</idno>
            <idno type="halBibtex">westman:hal-01824811</idno>
            <idno type="halRefHtml">&lt;i&gt;38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)&lt;/i&gt;, Jun 2018, Madrid, Spain. pp.181-195, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-92612-4_10"&gt;&amp;#x27E8;10.1007/978-3-319-92612-4_10&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.181-195, &amp;#x27E8;10.1007/978-3-319-92612-4_10&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1824811-1852303"/></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-WG" corresp="IFIP">Working Groups</idno>
            <idno type="stamp" n="IFIP-TC6" corresp="IFIP-TC">TC 6: Communication Systems</idno>
            <idno type="stamp" n="IFIP-WG6-1" corresp="IFIP-WG">Architectures and Protocols for Distributed Systems</idno>
            <idno type="stamp" n="IFIP-FORTE">IFIP-FORTE</idno>
            <idno type="stamp" n="IFIP-DISCOTEC">International Federated Conference on Distributed Computing Techniques</idno>
            <idno type="stamp" n="IFIP-LNCS-10854" corresp="IFIP-LNCS">Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2018)</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">Preserving Contract Satisfiability Under Non-monotonic Composition</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jonas</forename>
                    <surname>Westman</surname>
                  </persName>
                  <email type="md5">e709fff8e60089a80262d7c5fb4f6449</email>
                  <email type="domain">kth.se</email>
                  <idno type="idhal" notation="numeric">1033822</idno>
                  <idno type="halauthorid" notation="string">1388074-1033822</idno>
                  <affiliation ref="#struct-366312"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mattias</forename>
                    <surname>Nyberg</surname>
                  </persName>
                  <idno type="halauthorid">724939-0</idno>
                  <affiliation ref="#struct-366312"/>
                  <affiliation ref="#struct-469866"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)</title>
                  <date type="start">2018-06-18</date>
                  <date type="end">2018-06-21</date>
                  <settlement>Madrid</settlement>
                  <country key="ES">Spain</country>
                </meeting>
                <editor>Christel Baier</editor>
                <editor>Luís Caires</editor>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <biblScope unit="serie">Formal Techniques for Distributed Objects, Components, and Systems</biblScope>
                  <biblScope unit="volume">LNCS-10854</biblScope>
                  <biblScope unit="pp">181-195</biblScope>
                  <date type="datePub">2018</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-92612-4_10</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Satisfiability</term>
                <term xml:lang="en">Composition</term>
                <term xml:lang="en">Non-monotonic</term>
                <term xml:lang="en">Contracts</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</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>A contracts theory embeds non-monotonic composition (with respect to implementation) if the fact that a composition of two components implements a specification $$\mathcal {S}$$ does not generally follow from one of these components implementing $$\mathcal {S}$$. In contrast to monotonic composition, non-monotonic composition offers the additional expressiveness of specifying properties that only hold locally for a component since non-monotonic composition does not enforce all properties to be preserved when composing. Despite that this additional expressiveness is clearly needed, it implies that cases where monotony is indeed desired needs to be managed explicitly. The present paper elaborates on this topic by introducing a contracts theory embedding non-monotonic composition, and exploring conditions for ensuring monotonic composition in the context of this theory.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 6</org>
              <org type="consortium">WG 6.1</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-366312" status="VALID">
          <idno type="ROR">https://ror.org/026vcq606</idno>
          <orgName>KTH Royal Institute of Technology [Stockholm]</orgName>
          <orgName type="acronym">KTH</orgName>
          <desc>
            <address>
              <addrLine>SE-100 44, Stockholm, Sweden</addrLine>
              <country key="SE"/>
            </address>
            <ref type="url">https://www.kth.se/en</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-469866" status="VALID">
          <orgName>Scania CV AB [Södertälje]</orgName>
          <date type="start">2016-11-02</date>
          <desc>
            <address>
              <addrLine>Head OfficeVerkstadsvägen, 151 38 Södertälje</addrLine>
              <country key="SE"/>
            </address>
            <ref type="url">https://www.scania.com</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>