<?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-03387846</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:08:21+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts</title>
            <author role="aut">
              <persName>
                <forename type="first">Davide</forename>
                <surname>Basile</surname>
              </persName>
              <email type="md5">e0ba8f6efd7411aedcf903d41b2ad8d9</email>
              <email type="domain">isti.cnr.it</email>
              <idno type="idhal" notation="numeric">1104898</idno>
              <idno type="halauthorid" notation="string">1104445-1104898</idno>
              <affiliation ref="#struct-379036"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Maurice H.</forename>
                <surname>ter Beek</surname>
              </persName>
              <idno type="halauthorid">2001901-0</idno>
              <affiliation ref="#struct-379036"/>
            </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">2021-10-20 09:02:36</date>
              <date type="whenModified">2025-02-07 14:06:04</date>
              <date type="whenReleased">2021-10-20 10:11:40</date>
              <date type="whenProduced">2021-06-14</date>
              <date type="whenEndEmbargoed">2024-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-03387846v1/document">
                <date notBefore="2024-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-03387846v1/file/509400_1_En_14_Chapter.pdf" id="file-3387846-2973318">
                <date notBefore="2024-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-03387846</idno>
            <idno type="halUri">https://inria.hal.science/hal-03387846</idno>
            <idno type="halBibtex">basile:hal-03387846</idno>
            <idno type="halRefHtml">&lt;i&gt;23th International Conference on Coordination Languages and Models (COORDINATION)&lt;/i&gt;, Jun 2021, Valletta, Malta. pp.225-238, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-030-78142-2_14"&gt;&amp;#x27E8;10.1007/978-3-030-78142-2_14&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.225-238, &amp;#x27E8;10.1007/978-3-030-78142-2_14&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-3387846-2973318"/></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-12717" corresp="IFIP-LNCS">Coordination Models and Languages</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 4: Modelling: Structures and Implementations</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">A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Davide</forename>
                    <surname>Basile</surname>
                  </persName>
                  <email type="md5">e0ba8f6efd7411aedcf903d41b2ad8d9</email>
                  <email type="domain">isti.cnr.it</email>
                  <idno type="idhal" notation="numeric">1104898</idno>
                  <idno type="halauthorid" notation="string">1104445-1104898</idno>
                  <affiliation ref="#struct-379036"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Maurice H.</forename>
                    <surname>ter Beek</surname>
                  </persName>
                  <idno type="halauthorid">2001901-0</idno>
                  <affiliation ref="#struct-379036"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>23th International Conference on Coordination Languages and Models (COORDINATION)</title>
                  <date type="start">2021-06-14</date>
                  <date type="end">2021-06-18</date>
                  <settlement>Valletta</settlement>
                  <country key="MT">Malta</country>
                </meeting>
                <editor>Ferruccio Damiani</editor>
                <editor>Ornela Dardha</editor>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <biblScope unit="serie">Coordination Models and Languages</biblScope>
                  <biblScope unit="volume">LNCS-12717</biblScope>
                  <biblScope unit="pp">225-238</biblScope>
                  <date type="datePub">2021</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-030-78142-2_14</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Choreography</term>
                <term xml:lang="en">Orchestration</term>
                <term xml:lang="en">Controller Synthesis</term>
                <term xml:lang="en">Contract Automata</term>
                <term xml:lang="en">Service Computing</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>The Contract Automata Tool is an open-source tool for the specification, composition and synthesis of coordination of service contracts, including functionalities to deal with modalities and configurations. We discuss an implementation of the abstract parametric synthesis algorithm firstly introduced in our COORDINATION 2019 paper, comprehending most permissive controller, orchestration and choreography synthesis. The tool’s source code has been redesigned and refactored in Java 8, and we show the resulting gain in computational efficiency.</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="regrouplaboratory" xml:id="struct-379036" status="VALID">
          <orgName>CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]</orgName>
          <orgName type="acronym">CNR | ISTI</orgName>
          <desc>
            <address>
              <addrLine>Institute of Information Science and Technologies "Alessandro Faedo | Area della Ricerca CNR, via G. Moruzzi 1, I-56124 Pisa</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">http://www.isti.cnr.it/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-254021" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-254021" status="VALID">
          <idno type="ISNI">0000 0001 2159 6200</idno>
          <idno type="ROR">https://ror.org/04zaypm56</idno>
          <orgName>National Research Council of Italy | Consiglio Nazionale delle Ricerche</orgName>
          <orgName type="acronym">CNR</orgName>
          <date type="start">1923-01-01</date>
          <desc>
            <address>
              <addrLine>Piazzale Aldo Moro, 7 - 00185 Roma</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://www.cnr.it/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>