Raffinement B de systèmes de transitions étiquetés

Inès Mouakher 1 Francis Alexandre 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Le raffinement est une notion clé dans la méthode B. Nous étudions le rapport entre cette notion et certaines relations entre systèmes de transitions étiquetés telles que la simulation, la bisimulation... Le point de départ de l'étude est la définition d'une traduction particulière des STEs en spécification B. Nous présentons, ensuite, des schémas composés de spécifications B basées sur les clauses de modularité \B{INCLUDES} et \B{REFINES}. Pour chacun de ces schémas nous détaillons une proposition en terme de relation entre STEs. Les schémas mis en évidence pourront ensuite être utilisés dans le cadre de l'assemblage des composants.
Type de document :
Rapport
[Rapport de recherche] 2009, pp.37
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00435896
Contributeur : Francis Alexandre <>
Soumis le : mercredi 25 novembre 2009 - 11:31:11
Dernière modification le : mardi 24 avril 2018 - 13:33:08
Document(s) archivé(s) le : jeudi 17 juin 2010 - 21:58:28

Fichiers

main1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00435896, version 1

Collections

Citation

Inès Mouakher, Francis Alexandre. Raffinement B de systèmes de transitions étiquetés. [Rapport de recherche] 2009, pp.37. 〈inria-00435896〉

Partager

Métriques

Consultations de la notice

218

Téléchargements de fichiers

179