The Case for Using Simulation to Validate Event-B Specifications

Faqing Yang 1 Jean-Pierre Jacquot 1, * Jeanine Souquières 1
* Auteur correspondant
1 DEDALE - Development of specifications
LORIA - FM - Department of Formal Methods
Résumé : Ce papier discute de la validation de spécifications formelles en B-événementiel par l'exécution de la spécification. Les outils actuels pour B événementiel, les animateurs et les traducteurs, ne peuvent exécuter qu'un ensemble restreint de spécifications. Donc, nous proposons une troisième technique, la simulation, dans laquelle les utilisateurs et les outils coopèrent pour produire une instance exécutable du modèle. Après une courte présentation de B événementiel et de notre environnement de simulation, JeB, nous montrons comment l'utiliser sur deux études de cas assez complexes. Les observations et analyses faites d'un point de vue de la validation sont présentées et discutées.
Type de document :
Communication dans un congrès
Karl Leung, Pornsiri Muenchaisri. APSEC2012 - The 19th Asia-Pacific Software Engineering Conference, Dec 2012, Hongkong, China. IEEE, pp.85-90, 2012, 〈http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6462642〉. 〈10.1109/APSEC.2012.66〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00772812
Contributeur : Jean-Pierre Jacquot <>
Soumis le : vendredi 11 janvier 2013 - 10:55:45
Dernière modification le : mardi 24 avril 2018 - 13:32:43
Document(s) archivé(s) le : vendredi 12 avril 2013 - 11:21:47

Fichier

Yang-Jacquot-Souquieres-98.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières. The Case for Using Simulation to Validate Event-B Specifications. Karl Leung, Pornsiri Muenchaisri. APSEC2012 - The 19th Asia-Pacific Software Engineering Conference, Dec 2012, Hongkong, China. IEEE, pp.85-90, 2012, 〈http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6462642〉. 〈10.1109/APSEC.2012.66〉. 〈hal-00772812〉

Partager

Métriques

Consultations de la notice

207

Téléchargements de fichiers

219