<?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-01515245</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-21T10:21:29+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Analyzing Interactions of Asynchronously Communicating Software Components</title>
            <author role="aut">
              <persName>
                <forename type="first">Tevfik</forename>
                <surname>Bultan</surname>
              </persName>
              <email type="md5">6e003c5252092d04feea3e82542d0b90</email>
              <email type="domain">cs.ucsb.edu</email>
              <idno type="idhal" notation="numeric">1007067</idno>
              <idno type="halauthorid" notation="string">655632-1007067</idno>
              <affiliation ref="#struct-25968"/>
            </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-04-27 10:46:49</date>
              <date type="whenModified">2024-11-19 14:04:08</date>
              <date type="whenReleased">2017-04-27 11:04:30</date>
              <date type="whenProduced">2013-06-03</date>
              <date type="whenEndEmbargoed">2016-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01515245v1/document">
                <date notBefore="2016-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01515245v1/file/978-3-642-38592-6_1_Chapter.pdf" id="file-1515245-1575955">
                <date notBefore="2016-01-01"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-38592-6_1.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-01515245</idno>
            <idno type="halUri">https://inria.hal.science/hal-01515245</idno>
            <idno type="halBibtex">bultan:hal-01515245</idno>
            <idno type="halRefHtml">&lt;i&gt;15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)&lt;/i&gt;, Jun 2013, Florence, Italy. pp.1-4, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-38592-6_1"&gt;&amp;#x27E8;10.1007/978-3-642-38592-6_1&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.1-4, &amp;#x27E8;10.1007/978-3-642-38592-6_1&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1515245-1575955"/></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-7892" corresp="IFIP-LNCS">Formal Techniques for Distributed Systems</idno>
            <idno type="stamp" n="IFIP-FMOODS"> Formal Methods for Open Object-Based Distributed Systems</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 1: Invited Talk</note>
            <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">Analyzing Interactions of Asynchronously Communicating Software Components</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Tevfik</forename>
                    <surname>Bultan</surname>
                  </persName>
                  <email type="md5">6e003c5252092d04feea3e82542d0b90</email>
                  <email type="domain">cs.ucsb.edu</email>
                  <idno type="idhal" notation="numeric">1007067</idno>
                  <idno type="halauthorid" notation="string">655632-1007067</idno>
                  <affiliation ref="#struct-25968"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)</title>
                  <date type="start">2013-06-03</date>
                  <date type="end">2013-06-05</date>
                  <settlement>Florence</settlement>
                  <country key="IT">Italy</country>
                </meeting>
                <editor>Dirk Beyer</editor>
                <editor>Michele Boreale</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Formal Techniques for Distributed Systems</biblScope>
                  <biblScope unit="volume">LNCS-7892</biblScope>
                  <biblScope unit="pp">1-4</biblScope>
                  <date type="datePub">2013</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-38592-6_1</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>Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several application domains, message-based communication is used as the interaction mechanism, and the communication contract among the components of the system is specified semantically as a state machine. In the service-oriented computing domain this type of message-based communication contracts are called “choreography” specifications. A choreography specification identifies allowable ordering of message exchanges in a distributed system. A fundamental question about a choreography specification is determining its realizability, i.e., given a choreography specification, is it possible to build a distributed system that communicates exactly as the choreography specifies? In this short paper we give an overview of this problem, summarize some of the recent results and discuss its application to web service choreographies, Singularity OS channel contracts, and UML collaboration (communication) diagrams.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="regrouplaboratory" xml:id="struct-25968" status="VALID">
          <orgName>Department of Computer Science [Santa Barbara]</orgName>
          <orgName type="acronym">CS-UCSB</orgName>
          <desc>
            <address>
              <addrLine>College of Engineering, UC, Santa Barbara, CA 93106-5110</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.cs.ucsb.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300693" type="direct"/>
            <relation active="#struct-471291" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300693" status="VALID">
          <idno type="ROR">https://ror.org/02t274463</idno>
          <orgName>University of California [Santa Barbara]</orgName>
          <orgName type="acronym">UC Santa Barbara</orgName>
          <desc>
            <address>
              <addrLine>Santa Barbara, CA 93106</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">https://www.ucsb.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-471291" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-471291" status="VALID">
          <idno type="ROR">https://ror.org/00pjdza24</idno>
          <orgName>University of California</orgName>
          <orgName type="acronym">UC</orgName>
          <date type="start">1869-01-01</date>
          <desc>
            <address>
              <country key="US"/>
            </address>
            <ref type="url">https://www.universityofcalifornia.edu/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>