La mobilité d'action au sein d'un logiciel est une voie d'évolution pour obtenir un logiciel plus réactif en particulier à son contexte d'exécution. Les travaux de recherche présentés dans ce document explorent cette notion suivant trois aspects. Une première facette est la spécification de la mobilité au travers de langages formels tel que le pi calcul d'ordre supérieur. Les spécifications obtenues représentent des supports d'analyse essentiels. Elles offrent des possibilités de génération d'informations importantes telles que des tests ou du code exécutable. Ainsi, la réalisation ou la mise en oeuvre de la mobilité est la deuxième facette de ce travail, où il est davantage question de construction à partir de spécifications formelles. Les implémentations fournies ont alors un objectif essentiel de validation de propriétés. Enfin le dernier aspect abordé porte sur l'architecture des applications à base d'agents mobiles. La définition d'une structure logicielle commune exprime la volonté de réutiliser l'expérience acquise dans des domaines d'intérêt différents.