JeB

JeB est une plateforme de simulation de modèles B événementiels destinée à être utilisée lorsque les outils automatiques comme AnimB ou ProB sont inopérants. JeB permet ainsi de valider les modèles par l'observation des comportements qui se manifestent lors de leur exécution. JeB permet de développer des simulateurs par la collaboration entre un générateur automatique qui traduit la majorité de la spécification en JavaScript et l'intelligence des développeur qui fournissent les morceaux de code JavaScript qui permettent de lever les indéterminismes massifs. Grâce à l'utilisation des technologies du Web (JavaScript, HTML, CSS, ...), JeB facilite le développement de visualisations graphique et d'interfaces interactives du contrôle des simulations.

Jeb peut être téléchargé ainsi que plusieurs simulateurs peuvent être téléchargés sur cette galerie.



The JeB simulation framework is intended to help validate Event-B models when tools such as animators are hard to use. The validation activity is best done through the execution of the specification and the observation of its behaviour. Current tools for Event-B, animators and translators, provide users with automatic execution mechanisms of the models, but their use is hard on early, non-deterministic and abstract refinements. We propose a third technique, simulation, in which users and tools cooperate to produce an executable instance of the model.

JeB and several simulators can be downloaded on this gallery.