L'approche réactive de JAVA: sémantique et implémentation des SUGARCUBES et de JUNIOR

par Jean-Ferdinand Susini

Thèse de doctorat en Sciences appliquées. Informatique, automatique théorique, systèmes

Sous la direction de Frédéric Boussinot.


  • Pas de résumé disponible.

  • Titre traduit

    The reactive approach in JAVA: semantics and implementation of SUGARCUBES and JUNIOR


  • Résumé

    Par opposition aux systèmes classiques qui traitent des données reçues en entrée et terminent en produisant des résultats, un système réactif (Harel et Pnueli) maintient une interaction continue avec son environnement. L'Approche Réactive définie par F. Boussinot en 1991 avec Réactive-C propose un ensemble de formalismes permettant de décrire simplement des systèmes réactifs pouvant être enrichis dynamiquement en cours d'exécution. L'Approche Réactive qui dérive de l'Approche Synchrone repose sur une découpe logique de l'exécution d'un programme en une succession d'instants. La notion d'instant permet de définir un parallélisme synchrone et un puissant mécanisme de communication entre composants parallèles : la diffusion instantanée d'événements. La thèse décrit un ensemble de travaux implémentant l'Approche Réactive en Java. Deux formalismes SugarCubes et Junior sont décrits en détails. Ils permettent de construire sur une base formelle des systèmes réactifs dynamiques adaptes à la programmation d'applications interactives, concurrentes, distribuées et pouvant s'exécuter dans un environnement hétérogène. La sémantique de ces formalismes et plusieurs implémentations sont décrites en détails ainsi qu'un ensemble d'optimisations conduisant à des gains importants d'efficacité. On décrit également un ensemble d'expérimentations s'appuyant sur ces formalismes : langages de scripts, systèmes réactifs distribues, systèmes de programmation graphique.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (190 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 50 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Mines ParisTech. Bibliothèque.
  • Disponible pour le PEB
  • Bibliothèque : Mines ParisTech. Bibliothèque.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.