Opérations de construction de spécification 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é : Les travaux sur l'intégration d'UML et B se sont surtout focalisés sur la définition d'un processus de transformation séquentiel et unidirectionnel d'UML en B ou de B en UML. Aucun effort n'a été entrepris sur la définition d'une démarche de construction simultanée qui permette une plus grande flexibilité et la possibilité de faire évoluer la spécification tout en maintenant la cohérence et la traçabilité entre les deux représentations. L'évolution d'une spécification résulte de l'application d'une ou plusieurs opérations de construction. Celles-ci caractérisent l'expression des raisonnements suivis pour construire les différents aspects du système. Dans ce cadre, l'utilisation de plusieurs formalismes pour décrire un système ne peut être attractive et bénéfique pour le concepteur que si les outils qu'il exploite lui proposent non seulement des notations, mais aussi une démarche pour leur utilisation. La mise en place de telles fonctions nécessite la prise en compte de plusieurs facteurs comme par exemple le contexte de modélisation, la sémantique et la syntaxe des formalismes utilisés. Le travail présenté dans ce papier vise à apporter des éléments de réflexion sur la définition des opérations de construction de spécifications multi-vues UML et B.
Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'2004, 2004, Besançon, France, 15 p, 2004
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00107771
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:08:38
Dernière modification le : mardi 24 avril 2018 - 13:36:25
Document(s) archivé(s) le : mercredi 29 mars 2017 - 12:57:25

Identifiants

  • HAL Id : inria-00107771, version 1

Collections

Citation

Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot. Opérations de construction de spécification multi-vues UML et B. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'2004, 2004, Besançon, France, 15 p, 2004. 〈inria-00107771〉

Partager

Métriques

Consultations de la notice

105

Téléchargements de fichiers

105