<?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-03781473</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-13T14:35:28+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Models and analysis for user-driven reconfiguration of rule-based IoT applications</title>
            <author role="aut">
              <persName>
                <forename type="first">Francisco</forename>
                <surname>Durán</surname>
              </persName>
              <idno type="halauthorid">426691-0</idno>
              <affiliation ref="#struct-493026"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Ajay</forename>
                <surname>Krishna</surname>
              </persName>
              <email type="md5">9158789c719ab6d1e176f3408d256c14</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">ajay-krishna</idno>
              <idno type="idhal" notation="numeric">19231</idno>
              <idno type="halauthorid" notation="string">31214-19231</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1374-6851</idno>
              <idno type="IDREF">https://www.idref.fr/254560652</idno>
              <affiliation ref="#struct-1043323"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Michel</forename>
                <surname>Le Pallec</surname>
              </persName>
              <idno type="halauthorid">949599-0</idno>
              <affiliation ref="#struct-446305"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Radu</forename>
                <surname>Mateescu</surname>
              </persName>
              <idno type="halauthorid">119508-0</idno>
              <affiliation ref="#struct-1043323"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gwen</forename>
                <surname>Salaün</surname>
              </persName>
              <idno type="halauthorid">142751-0</idno>
              <affiliation ref="#struct-1043323"/>
            </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">2022-09-20 13:41:00</date>
              <date type="whenModified">2026-02-25 12:40:02</date>
              <date type="whenReleased">2022-09-20 13:55:07</date>
              <date type="whenProduced">2022-08</date>
              <date type="whenEndEmbargoed">2022-09-20</date>
              <ref type="file" target="https://inria.hal.science/hal-03781473v1/document">
                <date notBefore="2022-09-20"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-03781473v1/file/main.pdf" id="file-3781473-3308094">
                <date notBefore="2022-09-20"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="176755">
                <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-03781473</idno>
            <idno type="halUri">https://inria.hal.science/hal-03781473</idno>
            <idno type="halBibtex">duran:hal-03781473</idno>
            <idno type="halRefHtml">&lt;i&gt;Internet of Things&lt;/i&gt;, 2022, 19, pp.100515. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.iot.2022.100515"&gt;&amp;#x27E8;10.1016/j.iot.2022.100515&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Internet of Things, 2022, 19, pp.100515. &amp;#x27E8;10.1016/j.iot.2022.100515&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3781473-3308094"/></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_MFML_CONVECS" corresp="LIG_MFML">CONVECS</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="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="UGA-EPE">Université Grenoble Alpes [2020-*]</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="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">Models and analysis for user-driven reconfiguration of rule-based IoT applications</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Francisco</forename>
                    <surname>Durán</surname>
                  </persName>
                  <idno type="halauthorid">426691-0</idno>
                  <affiliation ref="#struct-493026"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Ajay</forename>
                    <surname>Krishna</surname>
                  </persName>
                  <email type="md5">9158789c719ab6d1e176f3408d256c14</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">ajay-krishna</idno>
                  <idno type="idhal" notation="numeric">19231</idno>
                  <idno type="halauthorid" notation="string">31214-19231</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1374-6851</idno>
                  <idno type="IDREF">https://www.idref.fr/254560652</idno>
                  <affiliation ref="#struct-1043323"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Michel</forename>
                    <surname>Le Pallec</surname>
                  </persName>
                  <idno type="halauthorid">949599-0</idno>
                  <affiliation ref="#struct-446305"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Radu</forename>
                    <surname>Mateescu</surname>
                  </persName>
                  <idno type="halauthorid">119508-0</idno>
                  <affiliation ref="#struct-1043323"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gwen</forename>
                    <surname>Salaün</surname>
                  </persName>
                  <idno type="halauthorid">142751-0</idno>
                  <affiliation ref="#struct-1043323"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">142744</idno>
                <idno type="issn">2542-6605</idno>
                <title level="j">Internet of Things</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">19</biblScope>
                  <biblScope unit="pp">100515</biblScope>
                  <date type="datePub">2022-08</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.iot.2022.100515</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Web of Things</term>
                <term xml:lang="en">Verification</term>
                <term xml:lang="en">Reconfiguration</term>
                <term xml:lang="en">IoT</term>
              </keywords>
              <classCode scheme="https://dl.acm.org/ccs" n="ACM2012.E.2.3"/>
              <classCode scheme="https://dl.acm.org/ccs" n="ACM2012.C.1.2"/>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halDomain" n="info.info-es">Computer Science [cs]/Embedded Systems</classCode>
              <classCode scheme="halDomain" n="info.info-wb">Computer Science [cs]/Web</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>Introduction. The Internet of Things consists of devices and software interacting altogether in order to build powerful and added-value services. One of the main challenges in this context is to support end users with simple, user-friendly, and automated techniques to design such applications. IFTTT-style rules are a popular way to build IoT applications as it addresses this challenge. Problem statement. Given the dynamicity of IoT applications, these techniques should also consider that these applications are in most cases not built once and for all. They can evolve over time and objects may be added or removed for several reasons (replacement, loss of connectivity, upgrade, failure, etc.). There is a need for techniques and tools supporting the reconfiguration of rule-based IoT applications to ensure certain correctness properties during this update tasks. Methodology. In this paper, we propose new techniques for supporting the reconfiguration of running IoT applications, represented as a set of coordinated rules acting on devices. These techniques compare two versions of an application (before and after reconfiguration) to check if several functional and quantitative properties are satisfied. This information can be used by the user to decide whether the actual deployment of the new application should be triggered or not. Contributions and results. The analysis techniques have been implemented using encodings into formal specification languages and verification is carried out using corresponding analysis frameworks. All these techniques for designing new applications, analyzing the aforementioned reconfiguration properties, and deploying the new applications have been integrated into the WebThings platform and applied on real-world examples for validation of the approach.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="department" xml:id="struct-493026" status="VALID">
          <orgName>Computer Science Department of University of Malaga</orgName>
          <desc>
            <address>
              <country key="ES"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-198404" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-1043323" status="VALID">
          <idno type="RNSR">201221019Z</idno>
          <idno type="ROR">https://ror.org/02t6zvp46</idno>
          <orgName>Construction of verified concurrent systems</orgName>
          <orgName type="acronym">CONVECS</orgName>
          <date type="start">2020-01-01</date>
          <date type="end">2026-06-30</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-1043301" type="direct"/>
            <relation name="UMR5217" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1042703" type="indirect"/>
            <relation active="#struct-1043329" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-446305" status="VALID">
          <orgName>Nokia Bell Labs [Nozay]</orgName>
          <desc>
            <address>
              <addrLine>Route de Villejust91620 Nozay</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.bell-labs.com/connect/global-locations/france/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-198404" status="VALID">
          <orgName>Universidad de Málaga [Málaga] = University of Málaga [Málaga]</orgName>
          <desc>
            <address>
              <addrLine>Avda. Cervantes, 2   29071 MÁLAGA</addrLine>
              <country key="ES"/>
            </address>
            <ref type="url">http://www.uma.es/</ref>
          </desc>
        </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-1043301" status="VALID">
          <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">2020-01-01</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-300009" type="direct"/>
            <relation name="UMR5217" active="#struct-441569" type="direct"/>
            <relation active="#struct-1042703" type="direct"/>
            <relation active="#struct-1043329" type="direct"/>
          </listRelation>
        </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="regroupinstitution" xml:id="struct-1042703" status="VALID">
          <idno type="IdRef">240648315</idno>
          <idno type="ROR">https://ror.org/02rx3b187</idno>
          <orgName>Université Grenoble Alpes</orgName>
          <orgName type="acronym">UGA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Adresse CS 40700 - 38058 Grenoble cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-grenoble-alpes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1043329" status="VALID">
          <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">2020-01-01</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>
          <listRelation>
            <relation active="#struct-1042703" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>