Une approche orientée règle pour la spécification formelle des architectures dynamiquement configurables

International audienceDans ce papier, nous traitons le problème de la conception formelle des systèmes logiciels réparties dynamiquement reconfigurables. Pour compléter les approches de reconfiguration comportementale souvent adoptées, nous introduisons la reconfiguration architecturale. Cette technique permet de construire dynamiquement l'architecture d'un système logiciel et de l'adapter à l'évolution de l'activité qu'il soutient. Pour formaliser les différentes instances d'architectures et styles, nous spécifions en Z les entités logicielles et leurs liens d'interaction par des schémas. Nous spécifions par des opérations Z, les règles qui régissent l'évolution dynamique des architectures de façon conforme à un style architectural spécifié aussi selon la même technique. Nous illustrons notre approche à travers les propriétés de dynamicité des logiciels de support pour les activités coopératives réparties. Pour modéliser l'architecture, nous adoptons une approche orientée composant et nous distinguons différents modes d'interaction (pull/push) entre les différents composants. Notre approche est soutenue par un environnement logiciel de simulation visuelle qui interprète les spécifications Z. Nous dispensons ainsi les concepteurs de la maîtrise de ce formalisme et nous leur offrons une interface "boîte et traits" qui fait référence dans la conception informelle des architectures. Notre environnement de simulation est couplé avec l'outil Z/EVES. Il gère les spécifications Z au format de Z/EVES tout en vérifiant leur complétude et leur exactitude. Il interprète aussi visuellement les spécifications architecturales codées au format Z/EVES