An architecture to support cooperation control un a distributed framework
Une architecture pour intégrer des composants de contrôle de la coopération dans un atelier distribué
Résumé
Non disponible / Not available
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éité 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 des 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 D-sérialisabilité et la DisCOO-sérialisabilité. Ils assurent des propriétés globales équivalentes ) celles des critères de correction classique (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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...