Spécification de services : une approche avec B

Bruno Mermet; Dominique Méry; Dmitri Samborski

Journal articles

Spécification de services : une approche avec B

Bruno Mermet ¹ Dominique Méry ¹ 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.

Mots-clés : spécification formelle composition of specifications} formal specification B Method telecommunications services features interaction méthode B services de télécommunication interaction de services composition de spécifications

Document type :

Journal articles

Domain :

Computer Science [cs] / Other [cs.OH]

Complete list of metadata

https://hal.inria.fr/inria-00098448
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Monday, September 25, 2006 - 5:01:34 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Spécification de services : une approche avec B

Identifiers

Collections

Citation

Export

Metrics

64

Contact Legal Notice Personal Data

Spécification de services : une approche avec B

Identifiers

Collections

Citation

Export

Share

Metrics

64

Contact Legal Notice Personal Data