Abstract FR:

Cette these a pour but de proposer une approche de conception d'applications reparties qui font partie de la classe des applications informatiques d'organisation, s'opposant a celle des applications numeriques, et a celle des applications temps-reel; elles sont caracterisees par la faible importance des traitements a effectuer sur une grande quantite de donnees complexes. Ces applications s'executent dans un environnement reparti, (reseau de machines independantes); elles comportent un parallelisme faible, la rapidite de reponse etant secondaire. L'elaboration de logiciels etant en soi une activite difficile, celle de logiciels repartis l'est a fortiori. Il doit donc etre guide par une approche rigoureuse et systematique, procedant par etapes d'abstraction successives. Nous proposons une methode dont le but premier est de degager l'architecture generale de l'application. Cette methode consiste a specifier le probleme a l'aide de vdm-sl, a conduire sur cette specification, au moyen vdm, une serie de transformations, guidees par des strategies d'application, visant a la rendre plus appropriee (decomposee) a sa repartition ulterieure. La specification est ensuite decomposee en ses entites elementaires (donnees, operations), puis soumise a une etape de configuration logique. Une phase de codage genere automatiquement l'architecture de l'application dans le langage executable conic. Un outil developpe dans l'environnement centaur sert de support a toutes les etapes de la demarche