Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/inria-00435896
Contributor : Francis Alexandre <>
Submitted on : Wednesday, November 25, 2009 - 11:31:11 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Thursday, June 17, 2010 - 9:58:28 PM

Files

main1.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

270

Files downloads

245