Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information Year : 2010

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).
No file

Dates and versions

hal-00953399 , version 1 (28-02-2014)

Identifiers

  • HAL Id : hal-00953399 , version 1

Cite

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, 2010, 15 (3), pp.87-112. ⟨hal-00953399⟩
125 View
0 Download

Share

Gmail Facebook X LinkedIn More