Opérations de construction de spécification multi-vues UML et B - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2004

Opérations de construction de spécification multi-vues UML et B

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
A04-R-066.pdf (120.28 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00107771 , version 1 (19-10-2006)

Identifiants

  • HAL Id : inria-00107771 , version 1

Citer

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. ⟨inria-00107771⟩
99 Consultations
137 Téléchargements

Partager

More