| Les specifications formelles occupent de plus en plus une place centrale dans le cycle developpement des systemes. Leur conception n'est pas une approche facile, particulierement pour les systemes distribues. Dans cette these, nous developpons une tache incrementielle pour la conception et la maintenance de specifications pour la systemes distribues.;De facon generique notre approche consiste a deriver a partir de n specifications S1, S2, ;Les relations ci-dessus tiennent uniquement compte du comportement. Les specifications pour systemes distribues possedent une autre caracteristique importante, la structure ou l'architecture. En effet plusieurs entites cooperent selon une architecture precise afin de realiser le comportement du systeme. La disposition de ces entites et la maniere dont elles sont reliees definissent la structure du systeme. De facon generale, cette structure est obtenue apres plusieurs raffinements successifs de la specification originale non structuree. Nous etendons notre approche de combinaison de specifications afin de tenir compte de leurs structures respectives.;D'un point de vue pratique, nous avons, dans le cas de l'extension (cyclique), applique notre approche pour l'enrichissement de la fonctionnalite d'un distributeur (bancaire) automatique et pour la conception incrementielle de services et protocoles de communication. Pour la reduction relative, nous avons applique notre approche pour la synthese de controleurs. Un outil a ete realise pour la combinaison de specifications en vue d'extension. |
