Behavioural Contracts for Components - Archive ouverte HAL Access content directly
Theses Year : 2003

Behavioural Contracts for Components

Contrats Comportementaux pour Composants

(1)
1

Abstract

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : pastel-00000798 , version 1

Cite

Cyril Carrez. Behavioural Contracts for Components. domain_other. Télécom ParisTech, 2003. English. ⟨NNT : ⟩. ⟨pastel-00000798⟩
182 View
531 Download

Share

Gmail Facebook Twitter LinkedIn More