Chargement...
 
Imprimer

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.

Événements DEDALE


septembre 2021
Di Lu Ma Me Je Ve Sa
29 30 31 01 02 03 04
05 06 07 08 09 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 01 02