B2EXPRESS : Un animateur de modèles B événementiel. - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

B2EXPRESS : Un animateur de modèles B événementiel.

Résumé

L'outil B2EXPRESS est un animateur de modèles B événementiel fondé sur l'instanciation de modèles de données exprimés dans le langage EXPRESS. Chaque construction de modèle B (substitutions, invariant, ensembles, variables, etc) est transformée en une construction de modèle EXPRESS (entité, attribut, regèles locales et globales). L'animation consiste à définir des instances des différentes entités du modèle EXPRESS obtenu et de contrôler les contraintes associées.
Fichier non déposé

Dates et versions

hal-00633916 , version 1 (19-10-2011)

Identifiants

  • HAL Id : hal-00633916 , version 1

Citer

Idir Aït-Sadoune. B2EXPRESS : Un animateur de modèles B événementiel.. 8es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2007), Jun 2007, Namur, Belgique. pp.295-296. ⟨hal-00633916⟩
41 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More