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

Riadh Ben Halima (1, 2) , Mohamed Jmaiel (2) , Khalil Drira (1)

1 LAAS - Laboratoire d'analyse et d'architecture des systèmes
2 REDCAD - Unité de Recherche en développement et contrôle d'applications distribuées

Dans 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.

Domaines: Génie logiciel [cs.SE]

Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira. Une approche orientée règle pour la spécification formelle des architectures dynamiquement configurables. Conférence Internationale sur les NOuvelles TEchnologies de la REpartition, Jun 2007, Marrakech, Maroc. pp.8. ⟨hal-00438856⟩