Raffinement B de systèmes de transitions étiquetés - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2009

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

Abstract

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.
Fichier principal
Vignette du fichier
main1.pdf (444.19 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00435896 , version 1 (25-11-2009)

Identifiers

  • HAL Id : inria-00435896 , version 1

Cite

Inès Mouakher, Francis Alexandre. Raffinement B de systèmes de transitions étiquetés. [Rapport de recherche] 2009, pp.37. ⟨inria-00435896⟩
95 View
145 Download

Share

Gmail Facebook X LinkedIn More