Modèles, protocoles et architectures pour transactions mobiles adaptables

National audienceCet article décrit nos propositions en matière de transactions mobiles. Nous considérons des environnements mobiles composés de diverses unités et gérant des bases de données. Pour nous une transaction mobile est une transaction où l'une des composantes au moins s'exécute sur une unité mobile. Nous décrivons les caractéristiques des environnements mobiles et nous proposons (1) un modèle de transactions mobiles adaptable au contexte d'exécution, le modèle AMT, (2) une étude analytique du modèle AMT qui permet de choisir la meilleure stratégie d'exécution d'une transaction mobile et (3) un intergiciel (TransMobi) comme support du modèle AMT. Nous avons également proposé un protocole spécifique de validation (CO2PC) qui combine une approche optimiste avec un protocole de validation à deux phases. Il autorise une validation optimiste ou non-optimiste des transactions composantes permettant ainsi plus de souplesse dans la validation