JeB : un environnement de simulation en JavaScript pour B événementiel
Résumé
This paper presents a tool, JeB, which can automatically generate simulators from Event-B models. It provides a graphical execution environment and in interface to integrate the user code. It can be used for the visualization and the validation of Event-B models. The simulators are implemented in HTML and JavaScript. We can simulate Event-B models in modern Web browsers.
Ce papier présente un outil, JeB, qui peut automatiquement générer des simulateurs de modèles B événementiel. Il fournit un environnement graphique d'exécution et l'interface pour combiner les codes écrits par l'utilisateur. Il peut être utilisé pour la visualisation et la validation des modèles B événementiel. Les simulateurs sont implantés en HTML et JavaScript. On peut simuler les modèles B événementiel dans les navigateurs actuels.
Domaines
Théorie et langage formel [cs.FL]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...