<?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-03608379</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-03T16:09:47+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Formal modelling of task interruptions</title>
            <author role="aut">
              <persName>
                <forename type="first">Francis</forename>
                <surname>Jambon</surname>
              </persName>
              <email type="md5">90721d7173a8bd5b8ff11cd1f79ca5de</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="string">francis-jambon</idno>
              <idno type="idhal" notation="numeric">172997</idno>
              <idno type="halauthorid" notation="string">19388-172997</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1723-1863</idno>
              <affiliation ref="#struct-187"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Emmanuelle</forename>
                <surname>Choiseau</surname>
              </persName>
              <email type="md5">cebdf30b8b14a3ddbf23b89061bf70ab</email>
              <email type="domain">enssib.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-03-14 16:39:42</date>
              <date type="whenModified">2025-09-27 20:07:39</date>
              <date type="whenReleased">2022-03-14 16:39:42</date>
              <date type="whenProduced">1996-04-13</date>
              <ref type="externalLink" target="https://dl.acm.org/doi/pdf/10.1145/257089.257128"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="778397">
                <persName>
                  <forename>Emmanuelle</forename>
                  <surname>Choiseau</surname>
                </persName>
                <email type="md5">cebdf30b8b14a3ddbf23b89061bf70ab</email>
                <email type="domain">enssib.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03608379</idno>
            <idno type="halUri">https://hal.science/hal-03608379</idno>
            <idno type="halBibtex">jambon:hal-03608379</idno>
            <idno type="halRefHtml">&lt;i&gt;ACM Conference Companion on Human Factors in Computing Systems (CHI'96)&lt;/i&gt;, Apr 1996, Vancouver, Canada. pp.45-46, &lt;a target="_blank" href="https://dx.doi.org/10.1145/257089.257128"&gt;&amp;#x27E8;10.1145/257089.257128&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ACM Conference Companion on Human Factors in Computing Systems (CHI'96), Apr 1996, Vancouver, Canada. pp.45-46, &amp;#x27E8;10.1145/257089.257128&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="IMAG">IMAG</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-GRENOBLE1">Université Joseph Fourier - Grenoble I</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="POLYTECH-GRENOBLE">Polytech Grenoble</idno>
            <idno type="stamp" n="LIAS">Laboratoire d'Informatique et d'Automatique pour les Systèmes</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Doctoral Consortium</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">Formal modelling of task interruptions</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Francis</forename>
                    <surname>Jambon</surname>
                  </persName>
                  <email type="md5">90721d7173a8bd5b8ff11cd1f79ca5de</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="string">francis-jambon</idno>
                  <idno type="idhal" notation="numeric">172997</idno>
                  <idno type="halauthorid" notation="string">19388-172997</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1723-1863</idno>
                  <affiliation ref="#struct-187"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>ACM Conference Companion on Human Factors in Computing Systems (CHI'96)</title>
                  <date type="start">1996-04-13</date>
                  <date type="end">1996-04-18</date>
                  <settlement>Vancouver</settlement>
                  <country key="CA">Canada</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">45-46</biblScope>
                  <date type="datePub">1996</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/257089.257128</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Interruptions</term>
                <term xml:lang="en">Interleaving</term>
                <term xml:lang="en">Formal methods</term>
                <term xml:lang="en">UAN</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-hc">Computer Science [cs]/Human-Computer Interaction [cs.HC]</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>My doctoral research is concerned with the formal modelling of task interruptions. Although interruptions are significant events in human activities, current models and notations do not support their expression appropriately. My contribution to this problem is twofold: the ISAU model which makes explicit the general structure of an interruption, and a UAN-based formal notation that would force designers to consider the right questions when developing a system. ISAU will be assessed using a real-world exemplar: the Data-Link system that supports communications between pilots from different aircraft's and air traffic controllers.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-187" status="OLD">
          <idno type="IdRef">084786582</idno>
          <orgName>Communication Langagière et Interaction Personne-Système</orgName>
          <orgName type="acronym">CLIPS - IMAG</orgName>
          <date type="start">1995-01-01</date>
          <date type="end">2007-01-01</date>
          <desc>
            <address>
              <addrLine>385, rue de la Bibliothèque - BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-clips.imag.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-51016" type="direct"/>
            <relation active="#struct-300275" type="direct"/>
            <relation name="UMR5524" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-51016" status="OLD">
          <idno type="IdRef">026404796</idno>
          <idno type="ROR">https://ror.org/02aj0kh94</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300275" status="OLD">
          <idno type="IdRef">026388804</idno>
          <orgName>Institut National Polytechnique de Grenoble</orgName>
          <orgName type="acronym">INPG</orgName>
          <date type="end">2006-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
          </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>
      </listOrg>
    </back>
  </text>
</TEI>