Le problème que je traite dans la thèse est comment offrir de<br />manière efficace les contraintes de cohérence et les requis de temps de<br />réponse, demandés par des services repliqués hétérogènes, accédés à large échelle.<br />La réplication est une technique classique utilisée pour améliorer la performance des applications<br />Internet populaires, surtout quand elles sont accédées concurremment<br />par un grand nombre de clients, dispersés à travers le monde. <br />Les travaux existants ne prennent pas en compte la diversité des demandes des services<br />pour différentes ressources système et réseau. Cette hypothèse relève une difficulté importante du problème de l'estimation du temps de réponse.<br />Une autre difficulté est déterminée par la hétérogénéité des capacités des ressources et par la variabilité des disponibilités des ressources. <br />Nous proposons une approche d'estimation, où le temps de réponse est décomposé dans des composants indépendants (temps de service et temps<br />d'attente), et chaque composante est approximée séparément, en prenant<br />en compte les capacités et les utilisations courantes des ressources demandées par le service.<br />Le requis sur le temps de réponse est spécifié par le fournisseur du<br />service, par un seuil qui correspond à la moyenne de temps de<br />service des requêtes, ou comme critère d'optimisation, demandant le meilleur temps de réponse. <br />Le requis est realisé par un protocole générique qui détermine quel<br />est le réplicat approprié à choisir pour répondre aux requêtes de<br />chaque client, parmi tous les réplicats existants. Nous avons implementé cette solution et les résultats expérimentaux obtenus ont montrés la satisfaction du requis sur le temps de réponse, à un coût raisonnable.<br /><br />Les approches existantes pour la gestion de la cohérence des<br />réplicats, offre un ensemble limité des garanties pour tous les<br />services. Tout de même, la variété des sémantiques des services,<br />demande des combinaisons des garanties différentes d'un service à<br />l'autre. Nous proposons un meta-modèle de cohérence, qui réifie les<br />garanties de cohérence existantes, en identifiant les paramètres qui<br />caractérisent chaqu'une des trois dimensions de la cohérence: contrôle<br />de divergence, contrôle de concurrence et contrôle de dépendances.<br />Le meta-modèle est attaché un protocole de cohérence générique, qui réalise des modèles de cohérence spécifiques aux services. Un modèle de cohérence, spécifié par le fournisseur du service, contient<br />des contraintes de sûreté, nécessaires pour que le service fonctionne<br />correctement lorsqu'il est répliqué, et des contraintes de vivacité,<br />nécessaires pour limiter la discrépance entre l'état d'un réplicat<br />particulier et l'état du réplicat idéal. Le protocole de cohérence<br />assemble trois briques de base indépendantes, qui correspondent aux<br />trois dimensions orthogonales de la cohérence. <br /><br />Le message de la thèse c'est que notre approche de réplication gère la hétérogénéité des<br />services en terme de sémantiques des opérations et de demandes de<br />ressources, en satisfaisant les contraintes appropriées concernant la cohérence des réplicats<br />et la performance observé par les requetes des clients.

De nos jours, l'information géographique constitue une ressource incontournable dans un contexte de prise de décision et les données numériques spatiales sont de plus en plus fréquemment exploitées comme support et aide à la décision par de nombreuses organisations.<br />L'institution militaire utilise elle aussi les données spatiales comme soutien et aide à la décision. A chaque étape d'une mission, des informations géographiques de tous types sont employées (données numériques, cartes papiers, photographies aériennes...) pour aider les unités dans leurs choix stratégiques. Par ailleurs, l'utilisation de réseaux de communication favorise le partage et l'échange des données spatiales entre producteurs et utilisateurs situés à des endroits différents. L'information n'est pas centralisée, les données sont répliquées sur chaque site et les utilisateurs peuvent ponctuellement être déconnectés du réseau, par exemple lorsqu'une unité mobile va faire des mesures sur le terrain.<br />La problématique principale concerne donc la gestion dans un contexte militaire, d'une application collaborative permettant la mise à jour asynchrone et symétrique de données géographiques répliquées selon un protocole à cohérence faible optimiste. Cela nécessite de définir un modèle de cohérence approprié au contexte militaire, un mécanisme de détection des mises à jour conflictuelles lié au type de données manipulées et des procédures de réconciliation des écritures divergentes adaptées aux besoins des unités participant à la mission.<br />L'analyse des travaux montre que plusieurs protocoles ont été définis dans les communautés systèmes (Cederqvist :2001 ; Kermarrec :2001) et bases de données (Oracle :2003 ; Seshadri :2000) pour gérer la réplication des données. Cependant, les solutions apportées sont souvent fonctions du besoin spécifique de l'application et ne sont donc pas réutilisables dans un contexte différent, ou supposent l'existence d'un serveur de référence centralisant les données. Les mécanismes employés en information géographique pour gérer les données et les mises à jour ne sont pas non plus appropriés à notre étude car ils supposent que les données soient verrouillées aux autres utilisateurs jusqu'à ce que les mises à jour aient été intégrée (approche check in-check out (ESRI :2004), ou utilisent un serveur centralisé contenant les données de référence (versionnement : Cellary :1990).<br />Notre objectif est donc de proposer des solutions permettant l'intégration cohérente et autant que possible automatique, des mises à jour de données spatiales dans un environnement de réplication optimiste, multimaître et asynchrone.<br />Nous proposons une stratégie globale d'intégration des mises à jour spatiales basée sur une vérification de la cohérence couplé à des sessions de mises à jour. L'originalité de cette stratégie réside dans le fait qu'elle s'appuie sur des métadonnées pour fournir des solutions de réconciliation adaptées au contexte particulier d'une mission militaire.<br />La contribution de cette thèse est double. Premièrement, elle s'inscrit dans le domaine de la gestion de la mise à jour des données spatiales, domaine toujours très actif du fait de la complexité et de l'hétérogénéité des données (Nous limitons néanmoins notre étude aux données géographiques vectorielles) et de la relative «jeunesse » des travaux sur le sujet. Deuxièmement, elle s'inscrit dans le domaine de la gestion de la cohérence des données répliquées selon un protocole optimiste, en spécifiant en particulier, de nouveaux algorithmes pour la détection et la réconciliation de données conflictuelles, dans le domaine applicatif de l'information géographique.