Mise en oeuvre des interactioons en environnements distribués, compilés et fortement typés : le modèle MICADO

par Laurent Berger

Thèse de doctorat en Informatique

Sous la direction de Anne-Marie Pinna-Dery.

Soutenue en 2001

à Nice .


  • Résumé

    La programmation orientée objets a déjà prouvé ses intérêt lors de la mise en œuvre d’applications complexes. Le développement des applications distribuées à l’aide de technologies objets est réalisable mais cela implique de gérer les communications entre les objets distants. Des outils tels que CORBA, RPC et Java RMI facilitent la mise en œuvre de la communication en masquant les accès réseaux. Cette maturation en termes de réseaux et de programmation par objets conduit aujourd’hui à une intensification du développement d’applications distribuées. Cette évolution des applications distribuées augmente le besoin de spécifier explicitement les sémantiques des communications et interactions entre des objets. Cependant, les outils mentionnés ci-dessous ne permettent pas d’exprimer les sémantiques des interactions entre des objets. Seuls quelques travaux vont dans le sens d’une expression et d’une gestion des interactions entre des objets distants indépendamment de leurs fonctionnalités intrinsèques. Cependant, il existe encore des travaux à faire sur la "sémantique" des interactions entre objets distants afin d’apporter encore plus de flexibilité, de facilité et une meilleure réutilisation lors de la mise en œuvre d’applications distribuées. La solution avancée est la définition d’un modèle et d’une architecture distribuée de gestion des interactions entre objets distants, dans les environnements compilés, fortement typés et distribués. Elle est basée sur ISL (Interaction Specification Language), notre langage de description des interactions ainsi que sur un système de réécriture des comportements réactifs.

  • Titre traduit

    Implementation of interactions in distributed, compiled and strongly typed environment : the MICADO model


  • Résumé

    Objected oriented programming has already proved its interest to implement complex applications. Distributed applications can also be developed with object technologies but this implies to manage communications between remote objects. Tools such as CORBA, RPC and Java RMI facilitate the communication implementation by hiding network accesses. This maturation in terms of network and object programming is today sufficient to allow an important evolution for the GroupWare distributed applications. This evolution of distributed applications increases the need to specify explicitly the communication and interaction semantics between objects. However the above-mentioned tools do not allow the expression of the semantics of interactions between objects. Few works deal with the way to express and to manage interactions between remote objects independently of their intrinsic behavior. However there are many works to do about the “semantic” of the interactions, i. E. Inter object communications, between remote objects in order to bring more flexible, more reusable and more easy the implementation of distributed applications. The proposed solution is the definition of a model to manage interaction between remote objects in environments used by the industry word, i. E. Compiled, strongly typed and distributed environments. This solution is based upon ISL (Interaction Specification Language) our language to describe interactions and upon a rewriting system for reactive behaviors.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 200 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 191-200. Résumés en français et en anglais

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 01NICE5644
  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 01NICE5644bis
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.