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
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).
Type de document :
Article dans une revue
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
Liste complète des métadonnées
https://hal.inria.fr/hal-00953399
Contributeur : Catherine Oriat <>
Soumis le : vendredi 28 février 2014 - 11:46:42
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04

Identifiants

  • HAL Id : hal-00953399, version 1

Collections

LIG_GLSI_VASCO | LIG | LIG_GLSI | UGA | LIG_SRCPR

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

202

Contact


archive-ouverte@inria.fr