<?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-01630717</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-18T01:19:52+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Asynchronous synthesis techniques for coordinating autonomic managers in the cloud</title>
            <author role="aut">
              <persName>
                <forename type="first">Rim</forename>
                <surname>Abid</surname>
              </persName>
              <idno type="halauthorid">734588-0</idno>
              <affiliation ref="#struct-1042444"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gwen</forename>
                <surname>Salaün</surname>
              </persName>
              <idno type="halauthorid">142751-0</idno>
              <affiliation ref="#struct-1042444"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Noël</forename>
                <surname>de Palma</surname>
              </persName>
              <email type="md5">e5b51ba259763180953d790c6fb3785f</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="string">noel-de-palma</idno>
              <idno type="idhal" notation="numeric">172307</idno>
              <idno type="halauthorid" notation="string">144160-172307</idno>
              <idno type="IDREF">https://www.idref.fr/060315555</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4638-7266</idno>
              <affiliation ref="#struct-1041969"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Radu</forename>
                <surname>Mateescu</surname>
              </persName>
              <email type="md5">aeb7d3f8f7f2ec83013e659a15a0a94b</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-11-08 09:14:49</date>
              <date type="whenWritten">2017</date>
              <date type="whenModified">2025-10-23 16:22:02</date>
              <date type="whenReleased">2017-11-08 10:18:08</date>
              <date type="whenProduced">2017-10</date>
              <date type="whenEndEmbargoed">2017-11-08</date>
              <ref type="file" target="https://inria.hal.science/hal-01630717v1/document">
                <date notBefore="2017-11-08"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01630717v1/file/main_SCP_FACS.pdf" id="file-1630717-1675952">
                <date notBefore="2017-11-08"/>
              </ref>
              <ref type="externalLink" target="https://hal.inria.fr/hal-01630717/file/main_SCP_FACS.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="111985">
                <persName>
                  <forename>Radu</forename>
                  <surname>Mateescu</surname>
                </persName>
                <email type="md5">aeb7d3f8f7f2ec83013e659a15a0a94b</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01630717</idno>
            <idno type="halUri">https://inria.hal.science/hal-01630717</idno>
            <idno type="halBibtex">abid:hal-01630717</idno>
            <idno type="halRefHtml">&lt;i&gt;Science of Computer Programming&lt;/i&gt;, 2017, 146, pp.87 - 103. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.scico.2017.05.005"&gt;&amp;#x27E8;10.1016/j.scico.2017.05.005&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Science of Computer Programming, 2017, 146, pp.87 - 103. &amp;#x27E8;10.1016/j.scico.2017.05.005&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1630717-1675952"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="INRIA-RHA">INRIA Grenoble - Rhône-Alpes</idno>
            <idno type="stamp" n="LIG">Laboratoire d'Informatique de Grenoble</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LIG_SRCPR" corresp="LIG">Systèmes Répartis, Calcul Parallèle et Réseaux</idno>
            <idno type="stamp" n="LIG_MFML_CONVECS" corresp="LIG_MFML">CONVECS</idno>
            <idno type="stamp" n="LIG_SRCPR_ERODS" corresp="LIG_SRCPR">ERODS</idno>
            <idno type="stamp" n="CONVECS">CONVECS team</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="INRIA2017">INRIA2017</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="UGA-COMUE">Université Grenoble Alpes [2016-2019]</idno>
            <idno type="stamp" n="LIG_SIDCH" corresp="LIG">Systèmes intelligents pour les données, les connaissances et les humains</idno>
            <idno type="stamp" n="INRIAARTDOI">INRIAARTDOI</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Asynchronous synthesis techniques for coordinating autonomic managers in the cloud</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Rim</forename>
                    <surname>Abid</surname>
                  </persName>
                  <idno type="halauthorid">734588-0</idno>
                  <affiliation ref="#struct-1042444"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gwen</forename>
                    <surname>Salaün</surname>
                  </persName>
                  <idno type="halauthorid">142751-0</idno>
                  <affiliation ref="#struct-1042444"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Noël</forename>
                    <surname>de Palma</surname>
                  </persName>
                  <email type="md5">e5b51ba259763180953d790c6fb3785f</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="string">noel-de-palma</idno>
                  <idno type="idhal" notation="numeric">172307</idno>
                  <idno type="halauthorid" notation="string">144160-172307</idno>
                  <idno type="IDREF">https://www.idref.fr/060315555</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4638-7266</idno>
                  <affiliation ref="#struct-1041969"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">18828</idno>
                <idno type="issn">0167-6423</idno>
                <title level="j">Science of Computer Programming</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">146</biblScope>
                  <biblScope unit="pp">87 - 103</biblScope>
                  <date type="datePub">2017-10</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.scico.2017.05.005</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Synthesis Techniques</term>
                <term xml:lang="en">Distributed Cloud Applications</term>
                <term xml:lang="en">Autonomic Managers</term>
                <term xml:lang="en">Asynchronous Coordination</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</classCode>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Cloud computing allows the delivery of on-demand computing resources over the internet on a pay-for-use basis. From a technical point of view, cloud applications usually consist of several software components deployed on remote virtual machines. Managing such applications is a challenging problem because manual administration is no longer realistic for these complex distributed systems. Thus, autonomic computing is a promising solution for monitoring and updating these applications automatically. This is achieved through the automation of administration functions and the use of control loops called autonomic managers. An autonomic manager observes the environment , detects changes, and reconfigures dynamically the application. Multiple autonomic managers can be deployed in the same system and must make consistent decisions. Using them without coordination may lead to inconsistencies and error-prone situations. In this article, we first present a simple language for expressing coordination constraints given a set of auto-nomic managers. Second, given a coordination expression written with that language, we propose new synthesis techniques for automatically generating an asynchronous controller. These synthesis techniques work in two steps by successively generating a model of the controller and a Java object corresponding to this model. This Java code is finally used for deploying the generated controller. As far as evaluation is concerned, we validated our approach by using it for coordinating real-world cloud applications.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-1042444" status="OLD">
          <idno type="RNSR">201221019Z</idno>
          <orgName>Construction of verified concurrent systems</orgName>
          <orgName type="acronym">CONVECS</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Centre de recherche Inria655 avenue de l'Europe38330 Montbonnot Saint-Martin</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/convecs</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2497" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-1041964" type="direct"/>
            <relation active="#struct-89889" type="indirect"/>
            <relation name="UMR5217" active="#struct-441569" type="indirect"/>
            <relation active="#struct-445543" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-1041969" status="OLD">
          <orgName>Efficient and Robust Distributed Systems</orgName>
          <orgName type="acronym">ERODS</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale, CS 40700 - 38058 Grenoble cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://erods.liglab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1041964" type="direct"/>
            <relation active="#struct-89889" type="indirect"/>
            <relation name="UMR5217" active="#struct-441569" type="indirect"/>
            <relation active="#struct-445543" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2497" status="VALID">
          <idno type="RNSR">199218244V</idno>
          <idno type="ROR">https://ror.org/00n8d6z93</idno>
          <orgName>Centre Inria de l'Université Grenoble Alpes</orgName>
          <desc>
            <address>
              <addrLine>Inovallée655 avenue de l'Europe38330 Montbonnot</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/grenoble</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1041964" status="OLD">
          <idno type="IdRef">148425550</idno>
          <idno type="ISNI">0000 0001 2286 4035</idno>
          <idno type="RNSR">200711886U</idno>
          <idno type="ROR">https://ror.org/01c8rcg82</idno>
          <orgName>Laboratoire d'Informatique de Grenoble</orgName>
          <orgName type="acronym">LIG</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9Tél. : 04 57 42 14 00</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.liglab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-89889" type="direct"/>
            <relation name="UMR5217" active="#struct-441569" type="direct"/>
            <relation active="#struct-445543" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-445543" status="OLD">
          <idno type="IdRef">188399275</idno>
          <idno type="ROR">https://ror.org/02rx3b187</idno>
          <orgName>Université Grenoble Alpes [2016-2019]</orgName>
          <orgName type="acronym">UGA [2016-2019]</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>38058 Grenoble cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>