JeB: Safe Simulation of Event-B Models in JavaScript - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

JeB: Safe Simulation of Event-B Models in JavaScript

Jean-Pierre Jacquot
  • Fonction : Auteur
  • PersonId : 835382
Jeanine Souquières

Résumé

The validation of formal models is a challenge for formal methods. We propose JeB, a framework which generates and executes simulations of Event-B models, even highly nondeterministic ones. JeB allows users to safely insert pieces of code to supply deterministic computations where the automatic translation fails. We present how JeB translates Event-B model into JavaScript. We define Fidelity as the formal notion which captures the idea of the correctness of a simulation. We define it through proof-obligations.
Fichier principal
Vignette du fichier
apsec2013-final.pdf (183.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00908056 , version 1 (07-12-2013)

Identifiants

  • HAL Id : hal-00908056 , version 1

Citer

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières. JeB: Safe Simulation of Event-B Models in JavaScript. The 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand. ⟨hal-00908056⟩
211 Consultations
268 Téléchargements

Partager

Gmail Facebook X LinkedIn More