Skip to Main content Skip to Navigation
Journal articles

Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B

Akram Idani 1 Mohamed-Amine Labiadh 2 Yves Ledru 1
1 VASCO - Validation de Systèmes, Composants et Objets logiciels
LIG - Laboratoire d'Informatique de Grenoble
2 LIG - Laboratoire d'Informatique de Grenoble
Abstract : One of the main objectives of software engineering is to develop well-structured and reliable systems. This explains the variety of approches for integrating formal and semi-formal methods ; especially those which produce B specifications from UML models. In this work, we try to unify these approaches in order to be able, on the one hand, to combine rules issued from these techniques, and on the other hand, to easily extend them. Our UML/B multi- modeling tool provides transformations from UML to B in an MDE architecture. We also proposed the notion of customizable rule which allows to adapt and extend existing approaches with respect to various abstraction levels: meta-model (M2), model (M1) or dual (M1/M2).
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-00953399
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 11:46:42 AM
Last modification on : Tuesday, December 8, 2020 - 10:18:09 AM

Identifiers

  • HAL Id : hal-00953399, version 1

Collections

CNRS | LIG_GLSI_VASCO | LIG | LIG_GLSI | UGA

Citation

Akram Idani, Mohamed-Amine Labiadh, Yves Ledru. Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2010, 15 (3), pp.87-112. ⟨hal-00953399⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

286

 

Contact                    Legal Notice                    Personal Data