Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2003

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

Résumé

La dérivation de spécifications UML vers B est considérée comme une approche appropriée afin d'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 en particulier les 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 démontrons également les propriétés de spécifications UML/OCL analysées à partir de la preuve effectuée par le prouveur de B.
Fichier non déposé

Dates et versions

inria-00099778 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099778 , version 1

Citer

Ninh Thuan Truong, Jeanine Souquières. Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B. [Interne] A03-R-445 || truong03b, 2003. ⟨inria-00099778⟩
114 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More