Autor: |
Mouakher, Inès, Alexandre, Francis |
Přispěvatelé: |
Development of specifications (DEDALE), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS) |
Jazyk: |
francouzština |
Rok vydání: |
2009 |
Předmět: |
|
Zdroj: |
[Rapport de recherche] 2009, pp.37 |
Popis: |
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. |
Databáze: |
OpenAIRE |
Externí odkaz: |
|