Un exemple de réutilisation de patterns de spécification avec la méthode B

Nous presentons un exemple de reutilisation de patterns de specification avec la methode B. L'idee est de beneficier aussi bien des avantages d'une methode formelle telle que B que ceux des composants reutilisables comme les patterns utilises en UML pour concevoir des applications. Les patterns Composite et Resource Allocation, qui sont couramment utilises dans les approches semi-formelles, ont ete dans un premier temps specifies en B afin d'etre "reutilises". En s'appuyant sur un exemple d'allocation de dossiers a des secretaires, la reutilisation des patterns a ete traduite en B par l'utilisation de mecanismes existant dans la methode, comme l'inclusion et le raffinement. Les specifications ainsi obtenues ont pu etre validees grâce aux outils associes a la methode B.