Contributions à la vérification de la sûreté de l'assemblage et à l'adaptation de composants réutilisables

摘要: Cette these a pour objectif de proposer une approche formelle basee sur les automates d’interface specifier contrats des composants reutilisables et verifier leur interoperabilite fonctionnelle. se traduit par la verification trois niveaux : signature, semantique, protocole. Le formalisme est base « optimiste» qui prend en compte contraintes l’environnement. considere que deux sont compatibles s’il existe un environnement convenable avec lequel ils peuvent interagir correctement. Dans premier temps, nous proposons preliminaire integre semantique parametres actions dans compatibilite substitution specifies d’interface. second somme interesses adapter dont decrits enrichis actions. En ce sens, avons propose algorithme permet generer automatiquement specification d’un adaptateur lorsque celui-ci existe. troisieme augmente le pouvoir d’expression notre proposee l’interoperabilite proprietes surete communiquent variables definies au niveau leurs particulier, etudions preservation invariants composition raffinement.