HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

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.
Document type :
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Thursday, October 19, 2006 - 9:07:57 AM
Last modification on : Friday, February 4, 2022 - 3:21:40 AM
Long-term archiving on: : Friday, November 25, 2016 - 12:43:59 PM


  • HAL Id : inria-00107751, version 1



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



Record views


Files downloads