Transactions adaptables pour les environnements mobiles

par Patricia Serrano Alvarado

Thèse de doctorat en Informatique

Sous la direction de Michel Adiba.

Soutenue en 2004

à l'Université Joseph Fourier (Grenoble) .

    mots clés mots clés


  • Résumé

    Dans cette thèse,nous nous intéressons aux transactions dans les environnements mobiles. La problématique visée est l'influence du contexte sur l'éxécution des transactions. En effet, les environnements mobiles se caractérisent par une grande variabilité au niveau réseau sans fil et par des unités mobiles à ressources limitées. Ces caractéristiques affectent la gestion des données, en particulier, elles entraînent un nombre important de défaillances transactionnelles et des coûts d'éxécution imprévus. Nous proposons un modèles de Transactions Mobiles Adaptables (AMT) permettant de définir des transactions avec plusieurs alternatives d'exécution. Ce modèle offre la possibilité d'adapter les transactions au contexte et de maîtriser le coût de leur exécution selon des critères de qualité acceptables pour l'application. Le modèle AMT a été spécifié avec le formalisme ACTA. Nous proposons une étude analytique qui montre que (1) les transactions de type AMT augmentent la probabilité de validation, et que (2) les coûts deviennent prévisibles grâce à la possibilité de choisir le type d'éxécution en fonction du contexte. Pour valider notre approche, nous avons conçu l'intergiciel TransMobi qui gère la perception de l'environnement et qui implante le modèle AMT à l'aide de protocoles appropriés. En particulier, nous proposons le protocole de validation CO2PC qui assure l'atomicité sémantique. Nous avons développé un prototype de TransMobi en PersonalJava qui utilise des bases de données relationnelles, un réseau WLAN et des assistants personnels (PDA).


  • Pas de résumé disponible.

  • Titre traduit

    Adaptale transactions for mobile environnments


  • Résumé

    In this dissertation, we are interested in transactions in mobile environnments. The focussed problem is the context influence on transaction execution. Mobile environnemnts are characterized by highly variable wireless networks and by limited mobile host resources. Such characteristics affect data management and in particular, they generate high rates of transactional failures and unpredictable execution costs. We propose and Adaptable Mobile Transaction model (ATM) that allows defining transactions with several execution alternatives associated to a particular context. This model offers the possibility of adapting transactions to the context and controlling execution costs with respect to application correctness criteria. The ATM model has been specified by using the formalism ACTA. We propose an analytical study which shows that (1) using AMTs increases commit rates, and (2) costs become predictable thanks to the possibility of choosing transaction execution types according to the context. To validate our approach, we defined the middleware TransMobi that manages environment awareness and implements the AMT model with suitable protocols. Among these protocols, we propose CO2PC, a commit protocol to ensure semantic atomicity. We developed a TransMobi prototype in PersonalJava that uses a relational databases, a WLAN and personal assistants (PDA).

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 193 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 165-174

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : TS04/GRE1/0018
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS04/GRE1/0018/D
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.