SAMOVAR UMR 5157

  • Accueil
  • Accueil
  • Accueil
  • Accueil

CNRS

Rechercher




Accueil > Équipes > ACMES > Séminaires ACMES > Séminaires ACMES : > Séminaires 2005-2009 ACMES :

2008/04/17 15h30 à 17h00 - C06

"Interact" : un modèle général de contrat pour la garantie des assemblages de composants et services

Résumé :

Tant dans l’industrie que dans la recherche, les frameworks de composants et services ne disposent pas d’outils permettant un raisonnement générique sur la fiabilité et la robustesse des configurations architecturales qu’ils autorisent.

Au cours de cette présentation, je décrirai "Interact", un framework de contrat qui répond à ce besoin.

Je montrerai comment il peut garantir un assemblage de composants ou services en organisant de manière générique la vérification de leurs spécifications.

J’expliquerai aussi comment Interact peut prendre en charge différents formalismes de spécification et s’appliquer à différents types de composants et services.