Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B

Ninh Thuan Truong 1 Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : La dérivation de spécifications UML vers B est considérée comme une approche appropriée pour utiliser conjointement UML et B dans un développement unifié, pratique et rigoureux de logiciels. On peut utiliser la spécification UML/OCL pour modéliser un système et il est possible d'utiliser des outils supports puissants de B comme AtelierB pour analyser les spécifications B dérivées afin d'identifier les défauts au sein de spécifications UML/OCL. Cet article aborde le couplage UML et B à l'aide d'un scénario présenté sous la forme d'un diagramme de classes, d'expressions OCL et de diagrammes de collaboration. En se basant sur l'analyse des obligations de preuves de B, la spécification UML et des contraintes OCL, nous construisons une dérivation d'un scénario UML en B en améliorant et résolvant les limites de la dérivation de diagrammes de collaboration proposée par Ledang et vérifions également les propriétés de spécifications UML/OCL.
Type de document :
Communication dans un congrès
Approches Formelles dans l'Assitance 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 [4 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00107772
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 - 13:20:44

Identifiants

  • HAL Id : inria-00107772, version 1

Collections

Citation

Ninh Thuan Truong, Jeanine Souquières. Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B. Approches Formelles dans l'Assitance au Développement de Logiciels - AFADL'2004, 2004, Besançon, France, 15 p, 2004. 〈inria-00107772〉

Partager

Métriques

Consultations de la notice

186

Téléchargements de fichiers

121