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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00633916
Contributor : Idir Ait Sadoune <>
Submitted on : Wednesday, October 19, 2011 - 5:51:39 PM
Last modification on : Friday, January 31, 2020 - 1:52:04 PM

Identifiers

  • HAL Id : hal-00633916, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

37