Programmation web réactive

Colin Vidal 1
1 INDES - Secure Diffuse Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : Le web est une plate-forme universelle pour développer des applications riches en interactions avec les utilisateurs et des services distants. Ces interactions sont implémentées sous forme d’évènements asynchrones pouvant survenir à n’importe quel instant de l’exécution de l’application. JavaScript, le langage du web, gère les évènements asynchrones de façon peu abstraite, ce qui rend l’écriture, la vérification et la maintenance d’applications interactives difficile. La contribution de cette thèse est l’élaboration et l’implémentation du langage Hiphop.js qui dote JavaScript d’abstractions de plus haut niveau pour gérer les évènements asynchrones. Hiphop.js est une implémentation JavaScript de constructions temporelles du langage réactif synchrone Esterel. Grâce à ces constructions, le flot de contrôle d’une application Hiphop.js est explicite. Il est donc possible de savoir précisément quand et sous quelles conditions un évènement est traité par simple lecture du code source de l’application. Ceci facilite la vérification et la maintenance de l’application. L’intégration profonde du langage Hiphop.js avec l’environnement dynamique du web est une part importante des travaux entrepris dans cette thèse. Les programmes sont construits et compilés pendant l’exécution de l’application JavaScript ce qui permet d’adapter automatiquement le traitement des évènements asynchrones en fonction des changements de l’environnement au cours de l’exécution (par exemple, la connexion ou déconnexion de participants pendant une visioconférence).
Type de document :
Thèse
Web. Université Côte d'Azur, 2018. Français. 〈NNT : 2018AZUR4049〉
Domaine :
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01900619
Contributeur : Abes Star <>
Soumis le : lundi 22 octobre 2018 - 12:39:05
Dernière modification le : mardi 23 octobre 2018 - 01:16:02
Document(s) archivé(s) le : mercredi 23 janvier 2019 - 13:58:39

Fichier

2018AZUR4049.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01900619, version 1

Collections

Citation

Colin Vidal. Programmation web réactive. Web. Université Côte d'Azur, 2018. Français. 〈NNT : 2018AZUR4049〉. 〈tel-01900619〉

Partager

Métriques

Consultations de la notice

149

Téléchargements de fichiers

188