Behavioural Contracts for Components
Cyril Carrez · OpenGrey (Institut de l'Information Scientifique et Technique) · 2003
La conception basee composants est une nouvelle methode de construction d'applications et de systemes distribues. Cette conception par composition pose cependant plusieurs problemes, dus aux services non uniformes (dependants d'un contexte) et aux liens dynamiques d'interconnexion entre les composants. Nous proposons un cadre formel pour la verification compositionelle de tels systemes. Nous definissons un langage de type d'interfaces comportementales, qui constitue un contrat comportemental pour le composant et son environnement. Le composant doit respecter ce contrat