Vers la complétude interactive: exigences pour une machine abstraite orientée interaction - ENAC - École nationale de l'aviation civile Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Toward Interactive Completeness: Requirements for an Interactive Abstract Machine

Vers la complétude interactive: exigences pour une machine abstraite orientée interaction

Stéphane Conversy

Résumé

Turing's work on computability served as the founding theoretical framework for computer science. It aimed at formalizing the intuitive notion of algorithm and gave birth to the concepts of logical automaton and abstract machine. The latter are used to evaluate the expressiveness of programming languages. However, current systems are difficult to model within an algorithmic framework and question the relevance of the classical model. The systems we know are indeed characterized by continuous interactions between human agents, physical and computational processes. Programming these interactive systems requires to specify causal relationships between processes, and not simply the execution of computation. In this paper, we propose to define an equivalent of the classical abstract machine, to model programmable interactive systems. Based on our distinction between computation programming and interaction programming and previous theoretical works that have questioned the classical framework, we elicit the minimal requirements of an abstract machine for interaction. This work is a fist step toward an interactive model to evaluate the expressivity of interaction-oriented languages. CCS CONCEPTS • Human-centered computing → HCI theory, concepts and models.
Fichier principal
Vignette du fichier
3451148.3458644.pdf (539.39 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03526030 , version 1 (14-01-2022)

Identifiants

Citer

Alice Martin, Mathieu Magnaudet, Stéphane Conversy. Vers la complétude interactive: exigences pour une machine abstraite orientée interaction. 32ème Conférence internationale francophone sur l'interaction homme-machine, Apr 2021, Virtual Event, France. ⟨10.1145/3451148.3458644⟩. ⟨hal-03526030⟩

Collections

ENAC LII IHM-20-21
87 Consultations
56 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More