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


août 2022
Di Lu Ma Me Je Ve Sa
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 31 01 02 03