Université de Sfax
Formation Doctorale en Informatique
Faculté des Sciences Economiques et de Gestion de Sfax

THESE DE DOCTORAT
Présentée en vue de l’obtention du

DOCTORAT EN INFORMATIQUE par Imen AMOURI LOULOU
Samedi le 5 Juin 2010

P/S-COM : une méthode formelle d'aide à la conception correcte des architectures logicielles
Publier/Souscrire
JURY
M.
Mme
M.
M.
M.
M.

Faiez Gargouri
Hanène Ben Abdallah
Flavio Oquendo
Mohamed Jmaiel
Khalil Drira
Ahmed Hadj Kacem

Professeur à l’ISIM-Sfax
Maître de conférences à la FSEG-Sfax
Professeur à l’Université de Bretagne Sud-France
Professeur à l’ENI-Sfax
Chargé de Recherche au LAAS-CNRS Toulouse
Maître de conférences à la FSEG-Sfax

Président
Rapporteur
Rapporteur
Directeur de thèse
Membre
Membre

Unité de Recherche en Développement et Contrôle d’Applications Distribuées
***
ReDCAD

R´esum´e
Les travaux d´evelopp´es dans le cadre de cette th`ese portent sur le probl`eme de la mod´elisation des architectures logicielles. Nous e´ tudions plus particuli`erement le probl`eme central de la conception correcte de styles architecturaux et celui de l’adaptabilit´e pendant la phase de conception. L’exactitude de la conception constitue le fil conducteur de nos travaux de recherche, n´ecessitant par cons´equent un fondement formel. Ainsi, nous proposons
P/S-CoM : une m´ethode centr´ee sur l’architecture pour la conception correcte des syst`emes
Publier/Souscrire. Nous avons e´ labor´e une approche de conception qui cherche a` promouvoir la r´eutilisation d’une part, et de concevoir des styles Publier/Souscrire prouv´es corrects par construction, d’autre part. L’approche se base sur un ensemble de sch´emas de communication prouv´es corrects et r´eutilisables. Ces sch´emas int`egrent des propri´et´es g´en´eriques pour le mod`ele de communication Publier/Souscrire. L’approche offre une d´emarche de construction de styles par la composition de sch´emas de communication suivie d’un e´ ventuel raffinement. Ces sch´emas sont sp´ecifi´es