Manuel Munier (1999)

Une architecture pour intégrer des composants de contrôle de la coopération dans un atelier distribué

Lien vers la publication: thèse Manuel Munier (Claude Godart, dir.)

Jury (soutenance le 15 janvier 1999)

  • Claude Godart (PR), Université Henri Poincaré, Nancy I, ESSTIN (→ président du jury)
  • Roland Balter (PR), Université Joseph Fourier, Grenoble
  • Claude Chrisment (PR), Université Paul Sabatier, Toulouse
  • Jacques Guyard (MC), Université Henri Poincaré, Nancy I

Examinateurs:

  • Jean-Marc Andreoli, Xerox Research Center Europe, Grenoble
  • Khalid Benali (MC), Université Nancy 2

Résumé détaillé

Cette thèse présente un nouveau modèle de transactions avancé permettant non seulement la coopération entre activités par le biais d’échanges d’informations en cours d’exécution, mais également leur distribution et l’hétérogénéïté de leurs relations de coopération. Notre objectif est de décentraliser le contrôle de l’application dans les activités la composant, c’est-à-dire:

  • chaque activité est responsable de ses interactions avec les autres activités,
  • les contrôles réalisés localement assurent, implicitement, la synchronisation globale du système.

Pour cela, nous avons développé deux critères de correction distribués, à savoir la Dsérialisabilité et la DisCOO-sérialisabilité. Ils assurent des propriétés globales équivalentes à celles des critères de correction classiques (la sérialisabilité et la COO-sérialisabilité) mais en ne se basant que sur des contrôles locaux effectués par chacune des transactions du système.

Outre la décentralisation du contrôle des interactions, nous proposons également des mécanismes permettant aux transactions de négocier les règles (schémas de coopération) à respecter lors de leurs échanges.

Mots Clés

coopération, distribution, transaction, schéma de coopération, négociation