Transformation systématique de spécifications UML en B

Hung Ledang 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 en 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. D'une part, cette dérivation permet d'utiliser les spécifications UML comme point de départ pour développer les spécifications B. D'autre part, il est possible d'utiliser les 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. Cet article présente une procédure de dérivation d'une spécification B à partir d'un ensemble de diagrammes UML de classes et de collaboration. Cette procédure est basée sur une approche utilisant le raffinement B pour modéliser les opérations UML. La procédure de dérivation est complétée par un ensemble de schémas de dérivation d'OCL en B. Ce qui permet de compléter la transformation des modèles UML en B en prenant en compte des contraintes OCL associées aux diagrammes UML: les invariants de classes, les pré-et postconditions des opérations, les gardes au sein des diagrammes de collaboration.
Type de document :
Rapport
[Interne] A03-R-192 || ledang03b, 2003, 25 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099768
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:41:03
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08

Identifiants

  • HAL Id : inria-00099768, version 1

Collections

Citation

Hung Ledang, Jeanine Souquières. Transformation systématique de spécifications UML en B. [Interne] A03-R-192 || ledang03b, 2003, 25 p. 〈inria-00099768〉

Partager

Métriques

Consultations de la notice

59