Behavioural Contracts for Components - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2003

Behavioural Contracts for Components

Contrats Comportementaux pour Composants

Résumé

cette vérification est basée sur un modèle de composant abstrait, dynamique et multi-tâche. Une deuxième analyse, à l'assemblage des composants, étudie la compatibilité entre les contrats mis en jeu, au moyen de règles de compatibilité d'interface et de sous-typage. Cette double vérification nous permet de garantir que tout message envoyé sera consommé, ainsi que l'absence d'interblocage externe entre les composants.

Domaines

Fichier principal
Vignette du fichier
carrez03contrats_these.pdf (1.94 Mo) Télécharger le fichier
Loading...

Dates et versions

pastel-00000798 , version 1 (06-09-2004)

Identifiants

  • HAL Id : pastel-00000798 , version 1

Citer

Cyril Carrez. Behavioural Contracts for Components. domain_other. Télécom ParisTech, 2003. English. ⟨NNT : ⟩. ⟨pastel-00000798⟩
200 Consultations
621 Téléchargements

Partager

Gmail Facebook X LinkedIn More