Translating B machines into UML diagrams

Houda Fekih 1 Stephan Merz 2
2 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This report describes transformations of B abstract machines into UML class and state-transition diagrams. The basic goal of this work is to produce translation rules for deriving UML class diagrams and state machines from sets, variables and operations in a B model. Our translation is interactive and does not necessarily produce a unique UML model, but it takes into account the use of the elements in the B model as a whole to constrain the translation into UML. We also consider how the refinement relationship of B machines maps to relations between the resulting UML models.
Type de document :
Rapport
[Intern report] A03-R-502 || fekih03a, 2003, 13 p
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00107751
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:07:57
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 12:43:59

Identifiants

  • HAL Id : inria-00107751, version 1

Collections

Citation

Houda Fekih, Stephan Merz. Translating B machines into UML diagrams. [Intern report] A03-R-502 || fekih03a, 2003, 13 p. 〈inria-00107751〉

Partager

Métriques

Consultations de la notice

239

Téléchargements de fichiers

34