Skip to Main content Skip to Navigation
Theses

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).
Document type :
Theses
Complete list of metadatas

Cited literature [103 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01900619
Contributor : Abes Star :  Contact
Submitted on : Monday, October 22, 2018 - 12:39:05 PM
Last modification on : Monday, May 25, 2020 - 6:45:27 PM
Document(s) archivé(s) le : Wednesday, January 23, 2019 - 1:58:39 PM

File

2018AZUR4049.pdf
Version validated by the jury (STAR)

Identifiers

  • 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⟩

Share

Metrics

Record views

416

Files downloads

813