Contrats pour l'assemblage de composants

Ces documents présentent un ensemble de réflexions et de propositions pour la définition de contrats pour des composants logiciels. Le livrable 1.4 constitue la fourniture, à l'issue des dix huit premiers mois, du sous-groupe du projet ACCORD lot 1 consacré au modèle abstrait de contrats pour des composants; ces travaux ont d'abord fait l'objet d'un premier livrable 1.2 à l'issue des six premiers mois du projet. Les concepts proposés ont été rediscutés entre les partenaires au cours de réunions plénières ou de réunions spécialisées au lot 1. Le présent document comporte donc la totalité des concepts évoqués à propos du modèle abstrait de composant ACCORD avec des chapitres revus à partir du premier livrable et des chapitres complètement nouveaux.

Le présent travail se place dans l ensemble des travaux actuels qui cherchent à dépasser les approches de spécifications d interfaces basées sur des signatures comme moyen d interopérabilité (approche objet, IDL CORBA). Pour cela, on se propose de définir différentes catégories de contrats apportant des informations significatives pour résoudre le problème d intégration. Ces contrats sont établis en tenant compte des spécificités des approches à composants logiciels. Nous avons isolé quatre aspects principaux de modélisation d un composant : la composition (du composant considéré comme un composite), les interactions (entre les membres du composite), le cycle de vie du composant (type, classe, instances) et la nature des propriétés exprimées (syntaxiques, sémantiques ou pragmatiques).

Pour en savoir plus (document pdf)