<?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-01130579</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-14T09:38:29+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.</title>
            <author role="aut">
              <persName>
                <forename type="first">Célia</forename>
                <surname>Martinie</surname>
              </persName>
              <email type="md5">4896f8fb49353f738a2aafaf10ed2933</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">celia-martinie</idno>
              <idno type="idhal" notation="numeric">735764</idno>
              <idno type="halauthorid" notation="string">22497-735764</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7907-3170</idno>
              <idno type="IDREF">https://www.idref.fr/16381239X</idno>
              <idno type="VIAF">https://viaf.org/viaf/287892232</idno>
              <orgName ref="#struct-217752"/>
              <affiliation ref="#struct-407887"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">David</forename>
                <surname>Navarre</surname>
              </persName>
              <email type="md5">7315714216b0c746408a949dc93d7859</email>
              <email type="domain">ut-capitole.fr</email>
              <idno type="idhal" notation="string">david-navarre</idno>
              <idno type="idhal" notation="numeric">735766</idno>
              <idno type="halauthorid" notation="string">36041-735766</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2900-2056</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=Gf4j4l8AAAAJ&amp;hl=fr</idno>
              <idno type="IDREF">https://www.idref.fr/059320087</idno>
              <orgName ref="#struct-81148"/>
              <affiliation ref="#struct-407887"/>
              <affiliation ref="#struct-81148"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Philippe</forename>
                <surname>Palanque</surname>
              </persName>
              <email type="md5">0f835b4b77703791600fcdfa8deeb4ee</email>
              <email type="domain">univ-tlse3.fr</email>
              <idno type="idhal" notation="string">philippe-palanque</idno>
              <idno type="idhal" notation="numeric">735765</idno>
              <idno type="halauthorid" notation="string">30146-735765</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5381-971X</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=GfRN5BsAAAAJ&amp;hl=fr</idno>
              <idno type="IDREF">https://www.idref.fr/050268228</idno>
              <orgName ref="#struct-217752"/>
              <affiliation ref="#struct-407887"/>
              <affiliation ref="#struct-217752"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Open Archive Toulouse Archive Ouverte</forename>
                <surname>(OATAO)</surname>
              </persName>
              <email type="md5">ac3f71840d50da799c1bb19c7b808bac</email>
              <email type="domain">listes-diff.inp-toulouse.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-03-12 08:43:58</date>
              <date type="whenModified">2025-10-22 18:04:08</date>
              <date type="whenReleased">2015-03-12 10:14:51</date>
              <date type="whenProduced">2014-01</date>
              <date type="whenEndEmbargoed">2015-03-12</date>
              <ref type="file" target="https://hal.science/hal-01130579v1/document">
                <date notBefore="2015-03-12"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01130579v1/file/Martinie_12676.pdf" id="file-1130579-1209891">
                <date notBefore="2015-03-12"/>
              </ref>
              <ref type="externalLink" target="http://publications.ut-capitole.fr/29799/1/assistant_11690371_458523192_0.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="146910">
                <persName>
                  <forename>Open Archive Toulouse Archive Ouverte</forename>
                  <surname>(OATAO)</surname>
                </persName>
                <email type="md5">ac3f71840d50da799c1bb19c7b808bac</email>
                <email type="domain">listes-diff.inp-toulouse.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01130579</idno>
            <idno type="halUri">https://hal.science/hal-01130579</idno>
            <idno type="halBibtex">martinie:hal-01130579</idno>
            <idno type="halRefHtml">&lt;i&gt;International Journal of Human-Computer Studies&lt;/i&gt;, 2014, 72 (1), pp.77-99. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.ijhcs.2013.08.013"&gt;&amp;#x27E8;10.1016/j.ijhcs.2013.08.013&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">International Journal of Human-Computer Studies, 2014, 72 (1), pp.77-99. &amp;#x27E8;10.1016/j.ijhcs.2013.08.013&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1130579-1209891"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="IRIT">IRIT - Institut de Recherche en Informatique de Toulouse</idno>
            <idno type="stamp" n="IRIT-ICS" corresp="IRIT">Interactive Critical Systems</idno>
            <idno type="stamp" n="IRIT-FSL" corresp="IRIT">Fiabilité des Systèmes et des Logiciels</idno>
            <idno type="stamp" n="IRIT-UT1C">IRIT - Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="IRIT-UT3">IRIT - Université Toulouse III Paul Sabatier</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</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">A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Célia</forename>
                    <surname>Martinie</surname>
                  </persName>
                  <email type="md5">4896f8fb49353f738a2aafaf10ed2933</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">celia-martinie</idno>
                  <idno type="idhal" notation="numeric">735764</idno>
                  <idno type="halauthorid" notation="string">22497-735764</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7907-3170</idno>
                  <idno type="IDREF">https://www.idref.fr/16381239X</idno>
                  <idno type="VIAF">https://viaf.org/viaf/287892232</idno>
                  <orgName ref="#struct-217752"/>
                  <affiliation ref="#struct-407887"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">David</forename>
                    <surname>Navarre</surname>
                  </persName>
                  <email type="md5">7315714216b0c746408a949dc93d7859</email>
                  <email type="domain">ut-capitole.fr</email>
                  <idno type="idhal" notation="string">david-navarre</idno>
                  <idno type="idhal" notation="numeric">735766</idno>
                  <idno type="halauthorid" notation="string">36041-735766</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2900-2056</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=Gf4j4l8AAAAJ&amp;hl=fr</idno>
                  <idno type="IDREF">https://www.idref.fr/059320087</idno>
                  <orgName ref="#struct-81148"/>
                  <affiliation ref="#struct-407887"/>
                  <affiliation ref="#struct-81148"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Philippe</forename>
                    <surname>Palanque</surname>
                  </persName>
                  <email type="md5">0f835b4b77703791600fcdfa8deeb4ee</email>
                  <email type="domain">univ-tlse3.fr</email>
                  <idno type="idhal" notation="string">philippe-palanque</idno>
                  <idno type="idhal" notation="numeric">735765</idno>
                  <idno type="halauthorid" notation="string">30146-735765</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5381-971X</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=GfRN5BsAAAAJ&amp;hl=fr</idno>
                  <idno type="IDREF">https://www.idref.fr/050268228</idno>
                  <orgName ref="#struct-217752"/>
                  <affiliation ref="#struct-407887"/>
                  <affiliation ref="#struct-217752"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">5624</idno>
                <idno type="issn">1071-5819</idno>
                <idno type="eissn">1095-9300</idno>
                <title level="j">International Journal of Human-Computer Studies</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">72</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">77-99</biblScope>
                  <date type="datePub">2014-01</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.ijhcs.2013.08.013</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Formal description techniques</term>
                <term xml:lang="en">Distributed user interfaces</term>
                <term xml:lang="en">Interactive software engineering</term>
                <term xml:lang="en">Dynamic reconfiguration of user interfaces</term>
                <term xml:lang="en">Model-based approaches</term>
                <term xml:lang="en">Automation</term>
              </keywords>
              <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-cr">Computer Science [cs]/Cryptography and Security [cs.CR]</classCode>
              <classCode scheme="halDomain" n="info.info-hc">Computer Science [cs]/Human-Computer Interaction [cs.HC]</classCode>
              <classCode scheme="halDomain" n="info.info-ar">Computer Science [cs]/Hardware Architecture [cs.AR]</classCode>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</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>Evolution in the context of use requires evolutions in the user interfaces even when they are currently used by operators. User Centered Development promotes reactive answers to this kind of evolutions either by software evolutions through iterative development approaches or at runtime by providing additional information to the operators such as contextual help for instance. This paper proposes a model-based approach to support proactive management of context of use evolutions. By proactive management we mean mechanisms in place to plan and implement evolutions and adaptations of the entire user interface (including behaviour) in a generic way. The approach proposed handles both concentration and distribution of user interfaces requiring both fusion of information into a single UI or fission of information into several ones. This generic model-based approach is exemplified on a safety critical system from space domain. It presents how the new user interfaces can be generated at runtime to provide a new user interface gathering in a single place all the information required to perform the task. These user interfaces have to be generated at runtime as new procedures (i.e. sequences of operations to be executed in a semi-autonomous way) can be defined by operators at any time in order to react to adverse events and to keep the space system in operation. Such contextual, activity-related user interfaces complement the original user interfaces designed for operating the command and control system. The resulting user interface thus corresponds to a distribution of user interfaces in a focus+context way improving usability by increasing both efficiency and effectiveness.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-407887" status="OLD">
          <orgName>Interactive Critical Systems</orgName>
          <orgName type="acronym">IRIT-ICS</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>IRIT - Université Toulouse 3 Paul Sabatier118 Route de NarbonneF-31062 TOULOUSE CEDEX 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/-ICS-Team-</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34499" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1149079" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-34499" status="OLD">
          <idno type="IdRef">030947448</idno>
          <idno type="ISNI">0000000121927225</idno>
          <idno type="RNSR">199511949P</idno>
          <idno type="ROR">https://ror.org/01rx4qw44</idno>
          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <date type="start">1990-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation active="#struct-1149079" type="direct"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" 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="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1149079" status="OLD">
          <orgName>Toulouse Mind &amp; Brain Institut</orgName>
          <orgName type="acronym">TMBI</orgName>
          <date type="start">2021-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>CHU Purpan, Pavillon Baudot, 31059 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.tmbi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>