Abstract FR:

L'objectif de la these est de proposer une solution coherente repondant au besoin d'une utilisation conjointe de l'approche orientee-objets et des methodes formelles pour le developpement des applications des systemes distribues qui sont de plus en plus complexes actuellement. Nous avons developpe une methode de modelisation et specification basee sur un contexte des multi-formalismes integres, et sur une introduction des concepts orientes-objets dans ce contexte. Le concept des multi-formalismes apporte une puissance de modelisation completee par differents formalismes, tandis que l'introduction des concepts orientes-objets est concue dans le but de faciliter l'utilisation de ces formalismes et d'ameliorer la coherence de cette utilisation. Un processus de developpement hierarchique descendant est adopte dans cette methode. En partant du contexte proofs, dont nous utilisons les reseaux canaux/agences, les reseaux de petri, le modele de donnees niam, et le langage exspect, notre methode se focalise sur deux points principaux: l'introduction des concepts orientes-objets dans les modeles semi-formels de haut niveau et la transformation de ces modeles a objets en modeles de bas niveau. L'approche proposee de transformation repose principalement sur une architecture 'clients/serveurs du systeme oriente-objets. Dans le but de valider notre methode, nous l'avons appliquee aux modelisation, specification et simulation d'une application distribuee de bureautique communicante: teleconference de document