<?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 inria-00512431</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-15T12:24:39+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Towards a Connector Algebra</title>
            <author role="aut">
              <persName>
                <forename type="first">Marco</forename>
                <surname>Autili</surname>
              </persName>
              <email type="md5">25f926f529b501b5fa505dd2ed6c4899</email>
              <email type="domain">di.univaq.it</email>
              <idno type="idhal" notation="numeric">854161</idno>
              <idno type="halauthorid" notation="string">356384-854161</idno>
              <affiliation ref="#struct-83463"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Chris</forename>
                <surname>Chilton</surname>
              </persName>
              <email type="md5">446e9eb777e39fafb56e703d8139d852</email>
              <email type="domain">comlab.ox.ac.uk</email>
              <idno type="idhal" notation="numeric">875212</idno>
              <idno type="halauthorid" notation="string">447351-875212</idno>
              <affiliation ref="#struct-99824"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Paola</forename>
                <surname>Inverardi</surname>
              </persName>
              <email type="md5">d55f462bb69ec976be556245087f3a7b</email>
              <email type="domain">di.univaq.it</email>
              <idno type="idhal" notation="numeric">861034</idno>
              <idno type="halauthorid" notation="string">212120-861034</idno>
              <affiliation ref="#struct-83463"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marta</forename>
                <surname>Kwiatkowska</surname>
              </persName>
              <email type="md5">536d8871adc6288050e476de5c85d1fc</email>
              <email type="domain">comlab.ox.ac.uk</email>
              <idno type="idhal" notation="numeric">861066</idno>
              <idno type="halauthorid" notation="string">399003-861066</idno>
              <affiliation ref="#struct-99824"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Massimo</forename>
                <surname>Tivoli</surname>
              </persName>
              <email type="md5">dbfb3a79b6ea3059336bd3f64c5c0484</email>
              <email type="domain">di.univaq.it</email>
              <idno type="idhal" notation="numeric">861036</idno>
              <idno type="halauthorid" notation="string">366501-861036</idno>
              <affiliation ref="#struct-83463"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Massimo</forename>
                <surname>Tivoli</surname>
              </persName>
              <email type="md5">dbfb3a79b6ea3059336bd3f64c5c0484</email>
              <email type="domain">di.univaq.it</email>
            </editor>
            <funder ref="#projeurop-17877"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2010-11-18 12:53:37</date>
              <date type="whenModified">2025-03-20 03:26:15</date>
              <date type="whenReleased">2010-11-19 09:09:31</date>
              <date type="whenProduced">2010</date>
              <date type="whenEndEmbargoed">2010-11-18</date>
              <ref type="file" target="https://inria.hal.science/inria-00512431v1/document">
                <date notBefore="2010-11-18"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/inria-00512431v1/file/main.pdf" id="file-512431-233681">
                <date notBefore="2010-11-18"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="100668">
                <persName>
                  <forename>Massimo</forename>
                  <surname>Tivoli</surname>
                </persName>
                <email type="md5">dbfb3a79b6ea3059336bd3f64c5c0484</email>
                <email type="domain">di.univaq.it</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">inria-00512431</idno>
            <idno type="halUri">https://inria.hal.science/inria-00512431</idno>
            <idno type="halBibtex">autili:inria-00512431</idno>
            <idno type="halRefHtml">&lt;i&gt;In Proceedings of the 4th International Symposium on Leveraging Applications (ISoLA 2010) of Formal Methods, Verification and Validation&lt;/i&gt;, 2010, Crete, Greece</idno>
            <idno type="halRef">In Proceedings of the 4th International Symposium on Leveraging Applications (ISoLA 2010) of Formal Methods, Verification and Validation, 2010, Crete, Greece</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-512431-233681"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CONNECT">CONNECT - Emergent Connectors For eternal Software Intensive Networked Systems</idno>
            <idno type="stamp" n="OPENAIRE">OpenAIRE</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">Towards a Connector Algebra</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Marco</forename>
                    <surname>Autili</surname>
                  </persName>
                  <email type="md5">25f926f529b501b5fa505dd2ed6c4899</email>
                  <email type="domain">di.univaq.it</email>
                  <idno type="idhal" notation="numeric">854161</idno>
                  <idno type="halauthorid" notation="string">356384-854161</idno>
                  <affiliation ref="#struct-83463"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Chris</forename>
                    <surname>Chilton</surname>
                  </persName>
                  <email type="md5">446e9eb777e39fafb56e703d8139d852</email>
                  <email type="domain">comlab.ox.ac.uk</email>
                  <idno type="idhal" notation="numeric">875212</idno>
                  <idno type="halauthorid" notation="string">447351-875212</idno>
                  <affiliation ref="#struct-99824"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Paola</forename>
                    <surname>Inverardi</surname>
                  </persName>
                  <email type="md5">d55f462bb69ec976be556245087f3a7b</email>
                  <email type="domain">di.univaq.it</email>
                  <idno type="idhal" notation="numeric">861034</idno>
                  <idno type="halauthorid" notation="string">212120-861034</idno>
                  <affiliation ref="#struct-83463"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marta</forename>
                    <surname>Kwiatkowska</surname>
                  </persName>
                  <email type="md5">536d8871adc6288050e476de5c85d1fc</email>
                  <email type="domain">comlab.ox.ac.uk</email>
                  <idno type="idhal" notation="numeric">861066</idno>
                  <idno type="halauthorid" notation="string">399003-861066</idno>
                  <affiliation ref="#struct-99824"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Massimo</forename>
                    <surname>Tivoli</surname>
                  </persName>
                  <email type="md5">dbfb3a79b6ea3059336bd3f64c5c0484</email>
                  <email type="domain">di.univaq.it</email>
                  <idno type="idhal" notation="numeric">861036</idno>
                  <idno type="halauthorid" notation="string">366501-861036</idno>
                  <affiliation ref="#struct-83463"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>In Proceedings of the 4th International Symposium on Leveraging Applications (ISoLA 2010) of Formal Methods, Verification and Validation</title>
                  <date type="start">2010</date>
                  <settlement>Crete</settlement>
                  <country key="GR">Greece</country>
                </meeting>
                <imprint>
                  <date type="datePub">2010</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</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>Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect Integrated Project attempts to develop a novel network infrastructure to allow heterogeneous networked systems to freely communicate with one another by synthesising the required connectors on-the- y. A key objective of Connect is to build a comprehensive theory of composable connectors, by devising an algebra for rigorously characterising complex interaction protocols in order to support automated reasoning. With this aim in mind, we formalise a high-level algebra for reasoning about protocol mismatches. Basic mismatches can be solved by suitably dened primitives, while complex mismatches can be settled by composition operators that build connectors out of simpler ones. The semantics of the algebra is given in terms of Interface Automata, and an example in the domain of instant messaging is used to illustrate how the algebra can characterise the interaction behaviour of a connector for mediating protocols.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-83463" status="VALID">
          <orgName>Dipartimento di Informatica [Italy]</orgName>
          <orgName type="acronym">DI</orgName>
          <desc>
            <address>
              <addrLine>UNIVERSITÀ DEGLI STUDI DE L'AQUILA - Dipartimento di Informatica Via Vetoio - I-67100 L'Aquila</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">http://www.di.univaq.it/index.php</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301597" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-99824" status="VALID">
          <orgName>Computing Laboratory</orgName>
          <orgName type="acronym">OUCL</orgName>
          <desc>
            <address>
              <addrLine>Oxford University Computing Laboratory Wolfson Building Parks Road OXFORD OX1 3QD UK</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.comlab.ox.ac.uk/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302612" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-301597" status="VALID">
          <idno type="IdRef">03353411X</idno>
          <idno type="ISNI">0000000417572611</idno>
          <idno type="ROR">https://ror.org/01j9p1r26</idno>
          <idno type="Wikidata">Q1494671</idno>
          <orgName>Università degli Studi dell'Aquila = University of L'Aquila = Université de L'Aquila</orgName>
          <orgName type="acronym">UNIVAQ</orgName>
          <date type="start">1952-01-01</date>
          <desc>
            <address>
              <addrLine>Via Giovanni Di Vincenzo 16/B, 67100 L'Aquila</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://www.univaq.it/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-302612" status="VALID">
          <idno type="ROR">https://ror.org/052gg0110</idno>
          <orgName>University of Oxford</orgName>
          <desc>
            <address>
              <addrLine>Wellington Square, Oxford OX1 2JD</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.ox.ac.uk/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="europeanProject" xml:id="projeurop-17877" status="VALID">
          <idno type="number">231167</idno>
          <idno type="program">FP7-ICT-2007-3</idno>
          <idno type="call">FP7-ICT-2007-3</idno>
          <orgName>CONNECT</orgName>
          <desc>Emergent Connectors for Eternal Software Intensive Networked Systems</desc>
          <date type="start">2009-01-02</date>
          <date type="end">2012-11-30</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>