Skip to Main content Skip to Navigation
Conference papers

JeB: Safe Simulation of Event-B Models in JavaScript

Faqing Yang 1 Jean-Pierre Jacquot 1 Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - FM - Department of Formal Methods
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-00908056
Contributor : Faqing Yang <>
Submitted on : Saturday, December 7, 2013 - 7:00:03 AM
Last modification on : Friday, June 25, 2021 - 9:14:03 AM
Long-term archiving on: : Saturday, April 8, 2017 - 2:17:12 AM

File

apsec2013-final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00908056, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

592

Files downloads

383