Identifiant pérenne de la notice : 205062547
Notice de type
Notice de regroupement
Note publique d'information : Ce travail porte sur l'utilisation de la programmation réactive, et plus particulièrement
du modèle asynchrone, dans les langages à objets parallèles. Ce type de programmation
permet de décrire des systèmes évoluant en réponse et simultanément aux modifications
de leur environnement. Les relations entre réactivité et programmation à objets ont
déjà fait l'objet de plusieurs études, notamment dans le domaine synchrone. Nous dressons
tout d'abord un résumé des recherches du domaine. Le premier aspect de notre contribution
consiste en la définition de trois modèles réactifs, asynchrones et à objets, dotés
de possibilités de structuration et d'évolutivité différentes. Le premier est préemptif,
le second adapte le langage Electre à un cadre objet, le troisième définit une extension
compositionnelle et hiérarchique du modèle à la Electre. Afin de formaliser cette
dernière proposition, nous en présentons une sémantique opérationnelle structurelle.
La seconde partie de notre travail étudie les problèmes de mise en œuvre de ces différentes
techniques. L'implantation de ces abstractions réactives est présentée dans le langage
Eiffel//. Nous expliquons comment nous avons été amenés à l'utilisation de techniques
réflexives, avec pour objectif l'intégration de ces abstractions dans le langage C++,
sans modification de ce dernier ni de ses compilateurs. Nous abordons notamment la
définition d'un protocole méta-objet destiné à la réactivité en C++. Nous montrons
que ce protocole nous permet également de réaliser un système ouvert et de quelle
manière il est utilisable pour l'intégration d'autres paradigmes parallèles et distribués
au sein d'une même plate-forme de développement ; ce protocole nous permet en particulier
d'intégrer le modèle du langage C++ comme une bibliothèque normale.
paprika.idref.fr
data.idref.fr
Documentation
