Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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

Alice Martin 1 Mathieu Magnaudet 1 Stephane Conversy 1 
1 LII - ENAC - Equipe Informatique Interactive
ENAC - Ecole Nationale de l'Aviation Civile
Abstract : 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.
Liste complète des métadonnées

https://hal-enac.archives-ouvertes.fr/hal-03526030
Contributeur : Alice Martin Connectez-vous pour contacter le contributeur
Soumis le : vendredi 14 janvier 2022 - 11:19:49
Dernière modification le : lundi 14 février 2022 - 13:02:56
Archivage à long terme le : : vendredi 15 avril 2022 - 18:33:06

Fichier

3451148.3458644.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Alice Martin, Mathieu Magnaudet, Stephane 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⟩

Partager

Métriques

Consultations de la notice

44

Téléchargements de fichiers

14