Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons

La modelisation de services et protocoles est la cle de voute de la validation d’une architecture de communication. L’article propose de mener cette activite complexe dans le TURTLE Toolkit (TTool), environnement UML temps reel dote de capacites de verification formelle. Les principes d’un assistant methodologique pour l’analyse d’architecture de communication sont definis dans un cadre general, puis transposes a l’approche TTool sous la forme de patrons bases sur des cas d’utilisation et des scenarios parametrables. L’utilisation de ces patrons est illustree sur un protocole de communication point a multipoint par satellite.