<?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-01582989</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:32+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Simulation-Based Performance Analysis of Channel-Based Coordination Models</title>
            <author role="aut">
              <persName>
                <forename type="first">C.</forename>
                <surname>Verhoef</surname>
              </persName>
              <idno type="halauthorid">1219946-0</idno>
              <affiliation ref="#struct-152470"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">C.</forename>
                <surname>Krause</surname>
              </persName>
              <idno type="halauthorid">117218-0</idno>
              <affiliation ref="#struct-65266"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">O.</forename>
                <surname>Kanters</surname>
              </persName>
              <idno type="halauthorid">1219947-0</idno>
              <affiliation ref="#struct-152470"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">R.</forename>
                <forename type="middle">van Der</forename>
                <surname>Mei</surname>
              </persName>
              <idno type="halauthorid">1219948-0</idno>
              <affiliation ref="#struct-62433"/>
              <affiliation ref="#struct-152470"/>
            </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:54:58</date>
              <date type="whenModified">2025-09-05 11:12:03</date>
              <date type="whenReleased">2017-09-06 15:01:33</date>
              <date type="whenProduced">2011-06-06</date>
              <date type="whenEndEmbargoed">2014-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01582989v1/document">
                <date notBefore="2014-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01582989v1/file/978-3-642-21464-6_13_Chapter.pdf" id="file-1582989-1635415">
                <date notBefore="2014-01-01"/>
              </ref>
              <ref type="externalLink" target="https://hal.inria.fr/hal-01582989/file/978-3-642-21464-6_13_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-01582989</idno>
            <idno type="halUri">https://inria.hal.science/hal-01582989</idno>
            <idno type="halBibtex">verhoef:hal-01582989</idno>
            <idno type="halRefHtml">&lt;i&gt;13th Conference on Coordination Models and Languages (COORDINATION)&lt;/i&gt;, Jun 2011, Reykjavik, Iceland. pp.187-201, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-21464-6_13"&gt;&amp;#x27E8;10.1007/978-3-642-21464-6_13&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.187-201, &amp;#x27E8;10.1007/978-3-642-21464-6_13&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1582989-1635415"/></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">Simulation-Based Performance Analysis of Channel-Based Coordination Models</title>
                <author role="aut">
                  <persName>
                    <forename type="first">C.</forename>
                    <surname>Verhoef</surname>
                  </persName>
                  <idno type="halauthorid">1219946-0</idno>
                  <affiliation ref="#struct-152470"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">C.</forename>
                    <surname>Krause</surname>
                  </persName>
                  <idno type="halauthorid">117218-0</idno>
                  <affiliation ref="#struct-65266"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">O.</forename>
                    <surname>Kanters</surname>
                  </persName>
                  <idno type="halauthorid">1219947-0</idno>
                  <affiliation ref="#struct-152470"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">R.</forename>
                    <forename type="middle">van Der</forename>
                    <surname>Mei</surname>
                  </persName>
                  <idno type="halauthorid">1219948-0</idno>
                  <affiliation ref="#struct-62433"/>
                  <affiliation ref="#struct-152470"/>
                </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">187-201</biblScope>
                  <date type="datePub">2011</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-21464-6_13</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>Quantifying the performance of component-based or service-oriented systems is a complex task, e.g., it is non-trivial to calculate the end-to-end quality of service of a composite Web service. An established approach to reason about such systems in general is the use of coordination models, which can provide a formal basis for both their verification and implementation. An example of such a model is the channel-based coordination language Reo and its probabilistic extension Stochastic Reo. However, all existing performance analysis approaches for Stochastic Reo are restricted to the use of exponential distributions. To this end we introduce a transition structure, which enables a simulation approach for performance evaluation in Reo, enabling the use of arbitrary distributions and predefined probabilistic behaviors. Our approach supports steady-state and transient analysis and, moreover, scales much better than the existing automata-based algorithms.</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="institution" xml:id="struct-62433" status="VALID">
          <idno type="ROR">https://ror.org/008xxew50</idno>
          <orgName>Vrije Universiteit Amsterdam [Amsterdam]</orgName>
          <orgName type="acronym">VU</orgName>
          <desc>
            <address>
              <addrLine>De Boelelaan 1105 1081 HV Amsterdam</addrLine>
              <country key="NL"/>
            </address>
            <ref type="url">http://www.vu.nl/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>