Coordination et reconfiguration des applications reparties dans le nuage

Les applications reparties dans le nuage sont constituees d'un ensemble de composants logiciels interconnectes et repartis sur plusieurs machines virtuelles. Cet environnement necessite des protocoles pour configurer dynamiquement ces applications. Nous presentons dans la premiere partie de cette these un nouveau protocole pour resoudre les dependances dans ces applications. Ce protocole consiste a (de) connecter et demarrer/arreter les composants dans un ordre specifique. Il supporte les pannes des machines virtuelles et les operations de reconfiguration se terminent toujours avec succes. Ces machines virtuelles interagissent a travers un «publish-subscribe communication media» et se reconfigurent d'une maniere decentralisee. La conception de ces protocoles etant une source d'erreurs, nous avons etudie l'utilisation du langage formelle LNT pour specifier le protocole et les outils disponibles dans la boite a outils CADP pour le verifier. D'autre part, la gestion des applications reparties dans le nuage est une tâche complexe car l'administration manuelle n'est plus realiste pour ces systemes. Nous avons propose d'automatiser certaines fonctions d'administration en utilisant des boucles de controle appelees gestionnaires autonomes. Plusieurs gestionnaires peuvent etre deployes pour la gestion de la meme application. Cependant, leur utilisation sans coordination peut conduire a des incoherences et des situations d'erreur. Dans la deuxieme partie de cette these, nous avons propose une nouvelle approche pour coordonner plusieurs gestionnaires autonomes. Cette approche repose sur une langue de coordination simple, de nouvelles techniques asynchrone pour la synthese de controleur et la generation de code Java. Nous avons applique notre approche pour coordonner les applications de cloud computing dans le monde reel.