Traduction de B événementiel en C pour la validation par la simulation

Faqing Yang 1 Jean-Pierre Jacquot 1 Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Ce papier discute un traducteur de B événementiel vers C orienté vers la validation des modèles. Les outils d'animation permettent de valider les modèles simples mais échouent lorsque les événements gèrent des espaces multidimensionnels. Une façon de contourner cette difficulté est de générer des simulateurs, c'est-à-dire, de traduire le modèle B événementiel en C tout en offrant des points d'ancrage pour des fonctions définies manuellement. Nous décrivons comment un mécanisme d'annotations, une stratégie adaptée de traduction des gardes et actions des événements permet d'étendre les traducteur existants. Nous discutons du pilotage et des difficultés techniques qu'il induit. Nous présentons la démarche pragmatique avec laquelle nous avons abordé cette étude.
Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels 2012 - AFADL 2012, Jan 2012, Grenoble, France. 2012
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00650955
Contributeur : Faqing Yang <>
Soumis le : lundi 12 décembre 2011 - 15:21:23
Dernière modification le : mardi 24 avril 2018 - 13:32:46
Document(s) archivé(s) le : lundi 5 décembre 2016 - 10:32:35

Fichier

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

Identifiants

  • HAL Id : hal-00650955, version 1

Collections

Citation

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières. Traduction de B événementiel en C pour la validation par la simulation. Approches Formelles dans l'Assistance au Développement de Logiciels 2012 - AFADL 2012, Jan 2012, Grenoble, France. 2012. 〈hal-00650955〉

Partager

Métriques

Consultations de la notice

259

Téléchargements de fichiers

205