Spécification de services : une approche avec B

Bruno Mermet 1 Dominique Méry 1 Dmitri Samborski
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Nous présentons une étude de cas réalisée en B concernant la spécification de services de télécommunications et l'utilisation de cette méthode pour la gestion d'interactions possibles entre de tels services. La composition des services conduit à des interactions et la méthode B est utilisée pour les développer, les composer et établir la présence ou l'absence d'interaction au niveau de la spécification. Le prouveur et l'animateur se révèlent être des outils très utiles non seulement pour détecter les interactions mais aussi pour aider l'utilisateur à les résoudre. Nous illustrons la démarche par des exemples de l'ensemble de capacités 1 CS~1 de l'Union Internationale des Télécommunications, et nous donnons quelques statistiques sur la performance des outils utilisés.
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1998, 17 (9), pp.1157-1180
Liste complète des métadonnées

https://hal.inria.fr/inria-00098448
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:01:34
Dernière modification le : mardi 24 avril 2018 - 13:34:31

Identifiants

  • HAL Id : inria-00098448, version 1

Collections

Citation

Bruno Mermet, Dominique Méry, Dmitri Samborski. Spécification de services : une approche avec B. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1998, 17 (9), pp.1157-1180. 〈inria-00098448〉

Partager

Métriques

Consultations de la notice

108