Spécification de composants pour assurer leur interopérabilité
Résumé
Cet article présente une approche pour la spécification de composants logiciels en vue d'assurer leur interopérabilité. Notre contribution concerne les trois points suivants. Elle propose une manière de spécifier les composants indépendamment d'un langage d'expression. Elle met en avant l'importance des données dans la définition de composants en rajoutant aux contrats d'utilisation entre composants un modèle de données. Elle introduit une notion de compatibilité entre interfaces pour décider de l'interopérabilité entre composants.