<?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-01582996</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:15+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models</title>
            <author role="aut">
              <persName>
                <forename type="first">Sung-Shik</forename>
                <surname>Jongmans</surname>
              </persName>
              <email type="md5">0b5f784d9d588052e4297c539f4e37f0</email>
              <email type="domain">cwi.nl</email>
              <idno type="idhal" notation="numeric">978920</idno>
              <idno type="halauthorid" notation="string">1219955-978920</idno>
              <affiliation ref="#struct-152470"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Christian</forename>
                <surname>Krause</surname>
              </persName>
              <idno type="halauthorid">1219956-0</idno>
              <affiliation ref="#struct-65266"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Farhad</forename>
                <surname>Arbab</surname>
              </persName>
              <idno type="halauthorid">443967-0</idno>
              <affiliation ref="#struct-20495"/>
            </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-09-06 14:55:07</date>
              <date type="whenModified">2025-09-05 11:12:03</date>
              <date type="whenReleased">2017-09-06 15:01:32</date>
              <date type="whenProduced">2011-06-06</date>
              <date type="whenEndEmbargoed">2014-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01582996v1/document">
                <date notBefore="2014-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01582996v1/file/978-3-642-21464-6_3_Chapter.pdf" id="file-1582996-1635422">
                <date notBefore="2014-01-01"/>
              </ref>
              <ref type="externalLink" target="https://hal.inria.fr/hal-01582996/file/978-3-642-21464-6_3_Chapter.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-01582996</idno>
            <idno type="halUri">https://inria.hal.science/hal-01582996</idno>
            <idno type="halBibtex">jongmans:hal-01582996</idno>
            <idno type="halRefHtml">&lt;i&gt;13th Conference on Coordination Models and Languages (COORDINATION)&lt;/i&gt;, Jun 2011, Reykjavik, Iceland. pp.31-48, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-21464-6_3"&gt;&amp;#x27E8;10.1007/978-3-642-21464-6_3&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.31-48, &amp;#x27E8;10.1007/978-3-642-21464-6_3&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1582996-1635422"/></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-COORDINATION" corresp="IFIP">COORDINATION: Conference on Coordination Models and Languages</idno>
            <idno type="stamp" n="IFIP-LNCS-6721" corresp="IFIP-LNCS">Coordination Models and Languages</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">Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Sung-Shik</forename>
                    <surname>Jongmans</surname>
                  </persName>
                  <email type="md5">0b5f784d9d588052e4297c539f4e37f0</email>
                  <email type="domain">cwi.nl</email>
                  <idno type="idhal" notation="numeric">978920</idno>
                  <idno type="halauthorid" notation="string">1219955-978920</idno>
                  <affiliation ref="#struct-152470"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Christian</forename>
                    <surname>Krause</surname>
                  </persName>
                  <idno type="halauthorid">1219956-0</idno>
                  <affiliation ref="#struct-65266"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Farhad</forename>
                    <surname>Arbab</surname>
                  </persName>
                  <idno type="halauthorid">443967-0</idno>
                  <affiliation ref="#struct-20495"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>13th Conference on Coordination Models and Languages (COORDINATION)</title>
                  <date type="start">2011-06-06</date>
                  <date type="end">2011-06-09</date>
                  <settlement>Reykjavik</settlement>
                  <country key="IS">Iceland</country>
                </meeting>
                <editor>Wolfgang Meuter</editor>
                <editor>Gruia-Catalin Roman</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Coordination Models and Languages</biblScope>
                  <biblScope unit="volume">LNCS-6721</biblScope>
                  <biblScope unit="pp">31-48</biblScope>
                  <date type="datePub">2011</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-21464-6_3</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <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>Reo is a coordination language which can be used to model the interactions among a set of components or services in a compositional manner using connectors. The language concepts of Reo include synchronization, mutual exclusion, data manipulation, memory and context-dependency. Context-dependency facilitates the precise specification of a connector’s possible actions in situations where it would otherwise exhibit nondeterministic behavior. All existing formalizations of context-dependency in Reo are based on extended semantic models that provide constructs for modeling the presence and absence of I/O requests at the ports of a connector.In this paper, we show that context-dependency in Reo can be encoded in basic semantic models, namely connector coloring with two colors and constraint automata, by introducing additional fictitious ports for Reo’s primitives. Both of these models were considered as not expressive enough to handle context-dependency up to now. We demonstrate the usefulness of our approach by incorporating context-dependency into the constraint automata based Vereofy model checker.</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-152470" status="VALID">
          <idno type="ROR">https://ror.org/00x7ekv49</idno>
          <orgName>Centrum Wiskunde &amp; Informatica</orgName>
          <orgName type="acronym">CWI</orgName>
          <desc>
            <address>
              <addrLine>Science Park 123, 1098 XG Amsterdam</addrLine>
              <country key="NL"/>
            </address>
            <ref type="url">http://www.cwi.nl/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-65266" status="VALID">
          <idno type="IdRef">05049967X</idno>
          <idno type="ISNI">0000000109421117</idno>
          <idno type="ROR">https://ror.org/03bnmw459</idno>
          <idno type="Wikidata">Q153012</idno>
          <orgName>University of Potsdam = Universität Potsdam</orgName>
          <date type="start">1991-07-15</date>
          <desc>
            <address>
              <addrLine>Am Neuen Palais 10, House 914469 Potsdam</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.uni-potsdam.de/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-20495" status="VALID">
          <orgName>Centrum voor Wiskunde en Informatica</orgName>
          <orgName type="acronym">CWI</orgName>
          <desc>
            <address>
              <addrLine>Kruislaan 413 P.O. Box 94079 1090 GB Amsterdam</addrLine>
              <country key="NL"/>
            </address>
            <ref type="url">http://www.cwi.nl/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-152470" type="direct"/>
            <relation active="#struct-300190" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300190" status="VALID">
          <orgName>Netherlands Organisation for Scientific Research</orgName>
          <desc>
            <address>
              <country key="NL"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>