Spécification de composants pour assurer leur interopérabilité

Maritta Heisel Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Type de document :
Rapport
[Interne] A04-R-062 || heisel04b, 2004, 13 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00100218
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 10:15:38
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08

Identifiants

  • HAL Id : inria-00100218, version 1

Collections

Citation

Maritta Heisel, Jeanine Souquières. Spécification de composants pour assurer leur interopérabilité. [Interne] A04-R-062 || heisel04b, 2004, 13 p. 〈inria-00100218〉

Partager

Métriques

Consultations de la notice

53