Translating B machines into UML diagrams

Houda Fekih (1) , Stephan Merz (2)

1 FST - Faculté des Sciences Mathématiques, Physiques et Naturelles de Tunis
2 MOSEL - Proof-oriented development of computer-based systems

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.

Mots clés: uml; class diagram; state-transitions diagram; b method; diagramme de classes; diagramme d'état-transition; méthode b; raffinement; refinement

Domaines: Autre [cs.OH]

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