Accueil l L'Outil BramaTélécharger l Démos en ligne l Documentation l LiensContact   


Télécharger Brama

Qu'est-ce que Brama ?

Brama est un outil qui permet d'animer des modèles B au sein de la plateforme Rodin. L'objectif poursuivi par Brama est double :

  • permettre à l'auteur du modèle formel de s'assurer que son modèle s'exécute conformément au système qu'il est sensé représenter,
  • fournir une représentation graphique à ce modèle et animer cette représentation en fonction de l'état du modèle formel. La représentation graphique doit être au format Flash et nécessite l'utilisation d'un outil tiers pour son élaboration (Flash MX par exemple).