Automatic Translation from UML Specifications to B

Hung Ledang 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The translation from UML specifications to B specifications gives a way to use jointly UML and B in an unified, practical and rigorous software development. We can formally analyse UML specifications via their corresponding B formal specifications. This point is significant because B support tools are available. We can also use UML specifications as a tool for building B specifications, so the development of B specifications become easier. So far, the rules for mapping data elements from UML specifications into B have been proposed. However, the problem of translating UML behavioral diagrams into B specifications has been an open issue. This point is the main concern in this paper. We are planning to propose derivation schemes to translate automatically UML behavioral diagrams into B specifications. Furthermore, the combination between the object refinement and the B refinement is also investigated.
Type de document :
Communication dans un congrès
Automated Software Engineering - ASE 2001 Doctoral Symposium, Nov 2001, Loews Coronado Bay, San Diego, USA, IEEE, 6 p, 2001
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00107526
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:00:00
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08
Document(s) archivé(s) le : mercredi 29 mars 2017 - 12:55:51

Identifiants

  • HAL Id : inria-00107526, version 1

Collections

Citation

Hung Ledang. Automatic Translation from UML Specifications to B. Automated Software Engineering - ASE 2001 Doctoral Symposium, Nov 2001, Loews Coronado Bay, San Diego, USA, IEEE, 6 p, 2001. 〈inria-00107526〉

Partager

Métriques

Consultations de la notice

116

Téléchargements de fichiers

43