La modélisation de services et protocoles est la clé de voûte de la validation d’une architecture de communication. L’article propose de mener cette activité complexe dans le TURTLE Toolkit (TTool), environnement UML temps réel doté de capacités de vérification formelle. Les principes d’un assistant méthodologique pour l’analyse d’architecture de communication sont définis dans un cadre général, puis transposés à l’approche TTool sous la forme de patrons basés sur des cas d’utilisation et des scénarios paramétrables. L’utilisation de ces patrons est illustrée sur un protocole de communication point à multipoint par satellite.