Vers la construction de spécifications multi-vues UML et B

Dieu Donné Okalas Ossami 1 Jeanine Souquières 1 Jean-Pierre Jacquot 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : On souhaite construire les spécifications en combinant les formalismes UML et B. Dans ce cadre de nombreux travaux de recherche ont été menés ces dernières années sur la dérivation des spécifications B à partir de diagrammes UML. Malgré ses nombreux avantages, cette démarche possède quelques limites: on sait transformer UML en B, mais pas le contraire. Les modifications opérées sur la spécification B dérivée ne sont pas prises en compte en UML, ce qui pose le problème de la cohérence entre les deux représentations, la notation B contrairement à celle d'UML n'est pas orientée objets: la spécification abstraite B déduite automatiquement d'UML est éloignée de celle qu'on aurait écrite directement en B. Dans ces conditions, certains concepteurs trouvent plus simple d'écrire directement leurs spécifications en B, le processus de développement induit est séquentiel: concevoir le modèle UML, le traduire en B puis poursuivre le processus avec l'écriture des raffinements. Un tel processus ne permet pas de garantir la consistance des textes B produits avec le modèle UML initial à cause du manque de liens dynamiques entre les deux représentations. Pour dépasser ces limites, nous proposons de structurer la spécification en différentes vues (vue graphique UML et vue textuelle B). L'utilisateur ne travaille plus sur deux spécifications indépendantes, mais sur une des deux représentations d'une même spécification. Les vues permettront au concepteur de faire usage du meilleur des deux: clarté architecturale pour UML et pouvoir d'expression plus outils de preuve pour B. Nous appelons cette démarche la « construction de spécifications multi-vues UML et B ».
Type de document :
Communication dans un congrès
Manifestation des Jeunes Chercheurs du domaine des STIC 2003 -MAJECSTIC'03, 2003, Marseille, France, 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00099500
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:37:31
Dernière modification le : mardi 24 avril 2018 - 13:34:49
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:07:18

Fichiers

Identifiants

  • HAL Id : inria-00099500, version 1

Collections

Citation

Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot. Vers la construction de spécifications multi-vues UML et B. Manifestation des Jeunes Chercheurs du domaine des STIC 2003 -MAJECSTIC'03, 2003, Marseille, France, 2003. 〈inria-00099500〉

Partager

Métriques

Consultations de la notice

63

Téléchargements de fichiers

34