Skip to Main content Skip to Navigation
Theses

Behavioural Contracts for Components

Résumé : La conception basée composants est une nouvelle méthode de construction d'applications et de systèmes distribués. Cette conception par composition pose cependant plusieurs problèmes, dûs aux services non uniformes (dépendants d'un contexte) et aux liens dynamiques d'interconnexion entre les composants. Nous proposons un cadre formel pour la vérification compositionelle de tels systèmes. Nous définissons un langage de type d'interfaces comportementales, qui constitue un contrat comportemental pour le composant et son environnement. Le composant doit respecter ce contrat
Document type :
Theses
Domain :
Complete list of metadatas

Cited literature [92 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/pastel-00000798
Contributor : Ecole Télécom Paristech <>
Submitted on : Monday, September 6, 2004 - 8:00:00 AM
Last modification on : Friday, July 31, 2020 - 10:44:07 AM
Long-term archiving on: : Monday, July 12, 2010 - 8:43:18 PM

Identifiers

  • HAL Id : pastel-00000798, version 1

Collections

Citation

Cyril Carrez. Behavioural Contracts for Components. domain_other. Télécom ParisTech, 2003. English. ⟨pastel-00000798⟩

Share

Metrics

Record views

337

Files downloads

739