Abstractions reactives pour les langages a objets paralleles : modeles et programmation

par Yves Roudier

Thèse de doctorat en Sciences appliquées

Sous la direction de Denis Caromel.

Soutenue en 1996

à Nice .

    mots clés mots clés


  • Résumé

    Ce travail porte sur l'utilisation de la programmation reactive, et plus particulierement du modele asynchrone, dans les langages a objets paralleles. Ce type de programmation permet de decrire des systemes evoluant en reponse et simultanement aux modifications de leur environnement. Les relations entre reactivite et programmation a objets ont deja fait l'objet de plusieurs etudes, notamment dans le domaine synchrone. Nous dressons tout d'abord un resume des recherches du domaine. Le premier aspect de notre contribution consiste en la definition de trois modeles reactifs, asynchrones et a objets, dotes de possibilites de structuration et d'evolutivite differentes. Le premier est preemptif, le second adapte le langage electre a un cadre objet, le troisieme definit une extension compositionnelle et hierarchique du modele a la electre. Afin de formaliser cette derniere proposition, nous en presentons une semantique operationnelle structurelle. La seconde partie de notre travail etudie les problemes de mise en uvre de ces differentes techniques. L'implantation de ces abstractions reactives est presentee dans le langage eiffel//. Nous expliquons comment nous avons ete amenes a l'utilisation de techniques reflexives, avec pour objectif l'integration de ces abstractions dans le langage c++, sans modification de ce dernier ni de ses compilateurs. Nous abordons notamment la definition d'un protocole meta-objet destine a la reactivite en c++. Nous montrons que ce protocole nous permet egalement de realiser un systeme ouvert et de quelle maniere il est utilisable pour l'integration d'autres paradigmes paralleles et distribues au sein d'une meme plate-forme de developpement ; ce protocole nous permet en particulier d'integrer le modele du langage c++


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 218 P.
  • Annexes : 133 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D-CAR
  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.