Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/inria-00107751
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 9:07:57 AM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM
Long-term archiving on: : Friday, November 25, 2016 - 12:43:59 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

328

Files downloads

54