Ce rapport présente une approche relative à la construction de systèmes répartis, restreinte aux applications de type client-service. Nous y proposons un modèle pour la spécification de services distribués complexes qui traite les interactions de type appel de procédure à distance, évaluation distante et agents mobiles. Cette formalisation ouvre la voie à des analyses de performance, de sécurité ou encore de fiabilité. Ces analyses permettent de guider au mieux l'exploitation effective d'agents mobiles dans le domaine d'application considéré. L'intégration de l'approche dans un environnement de développement permet un déploiement systématique de services distribués en fonction de propriétés non-fonctionnelles.