ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Décisions, argumentation et traçabilité dans l’Ingénierie des Systèmes d’Information
En savoir plus >>
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 15/3 - 2010  - pp.87-112  - doi:10.3166/isi.15.3.87-112
TITRE
Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B

TITLE
Model driven platform for an efficient integration of UML and B

RÉSUMÉ
Disposer d'une méthode qui garantit un développement de systèmes à la fois bien structurés et fiables est l'un des principaux objectifs du génie logiciel. C'est ce qui explique les nombreuses recherches d'intégration des méthodes formelles et semi-formelles ; en l'occurrence, les approches de production de spécifications B à partir de modèles UML. Dans notre investigation, nous cherchons à unifier ces approches en vue de pouvoir combiner les règles qu'elles proposent et les faire évoluer aisément. Pour ce faire, nous avons développé un atelier de multimodélisation assurant les transformations d'UML en B dans une infrastructure dirigée par les modèles. Nous avons également proposé la notion de règle configurable permettant l'adaptation et l'extension des approches existantes selon divers niveaux d'abstraction : métamodèle (M2), modèle (M1) ou mixte (M1/M2).


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 semiformal 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 multimodeling 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 ).


AUTEUR(S)
Akram IDANI, Mohamed-Amine LABIADH, Yves LEDRU

MOTS-CLÉS
ingénierie dirigée par les modèles, UML, méthode B, intégration de méthodes.

KEYWORDS
model driven engineering, UML, B method, method integration.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (1,48 Mo)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier