Le Service Transactionnel Guide (STG) défini dans le cadre de cette thèse a été implanté sur une plate-forme système (Guide) fournissant des objets persistants et répartis ainsi qu'un environnement de développement d'applications réparties. Le STG est basé sur une extension du modèle des transactions emboitées qui permet plusieurs formes de parallélisme au sein des transactions (par exemple entre transaction mère et transaction filles) et hors transaction. Par ailleurs, le modèle rend possible l'utilisation des objets atomiques par les transactions, mais aussi dans un contexte non-transactionnel. Si le modèle de concurrence vise principalement la souplesse du service, le modèle d'atomicité aux pannes doit prendre en compte les contraintes imposées par le système sous-jacent. L'atomicité aux pannes des transactions emboitées réparties est basé sur la mise en oeuvre du concept de représentant et d'un protocole de terminaison original qui ne nécessite qu'une phase pour assurer la validation d'une sous-transaction répartie. Le STG est composé de classes spécialisées qui constituent son interface, et qui repose sur des mécanismes systèmes spécifiques implantés dans le noyau du système Guide.