(These.cwk)

Chapitre 5JuniorLes SugarCubes ont donné naissance à d’autres implémentations de l’ Approche Réactive au-dessus de Java. Certaines de ces implémentations cherchent à améliorer les capacités de traitement des systèmes réactifs ainsi créés, gérant un grand nombre (plusieurs milliers) de composants parallèles, en particulier, lorsque ces composants communiquent entre eux en utilisant un grand nombre (plusieurs centaines) d’événements diffusés différents. Cependant, la complexité relative de ces implémentations nous a poussés à développer un certain nombre d’outils pour les étudier dans un cadre formel. Ce chapitre présente l’effort de formalisation qui a été mené pour donner une sémantique précise aux principales primitives de l’ Approche Réactive au-dessus de Java. Cette sémantique formalisée par un ensemble de règles de réécriture, constitue une référence, nous permettant d’analyser ces différentes implémentations.Afin de mener à bien cette étude formelle, nous avons dégagé un noyau de primitives caractéristiques de l’Approche Réactive. Cet ensemble de primitives constitue un nouveau formalisme, appelé Junior. Ce chapitre reprend et étend un rapport de recherche [BHS1]. La création de ce nouveau formalisme, directement inspiré des SugarCubes, a pour but de réduire le nombre de primitives à analyser et de former un socle commun à l’ensemble des implémentations de l’ Approche Réactive au-dessus de Java. Junior reprend donc les principes qui ont servi de base ...