Nous proposons dans ce papier une approche fondée sur la technologie agent et les méthodes formelles pour concevoir des services de télécommunication. Cette approche a pour objectif d'identifier des gabarits de conception orientés interaction et agent et de les décrire dans un formalisme permettant de prouver leur qualité. Ces gabarits sont fondés sur une classification des interactions entre agents qui utilise le modèle d'interaction décrit dans le modèle de référence ODP. Le formalisme offre une méthodologie de validation et de vérification basée sur les réseaux de Petri. Avec une telle approche, il est possible de spécifier des composants ayant des propriétés prouvées qui garantissent leur qualité. Nous l'illustrons par l'exemple d'un système multi-agent de suivi de contrat.