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

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

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⟩

Share

Metrics

Record views

286