Transformation of B Specifications into UML Class Diagrams and State Machines - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

Transformation of B Specifications into UML Class Diagrams and State Machines

Abstract

We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by representing it in UML, for example in order to explain the model to stakeholders that are not experts in the B formalism. We focus on the generation of class diagram and state machines. Our approach does not prescribe a mechanic algorithm for translation, giving the modeler choices to adapt the resulting UML models as appropriate.
Fichier principal
Vignette du fichier
final.pdf (617.4 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00001269 , version 1 (27-04-2006)

Identifiers

  • HAL Id : inria-00001269 , version 1

Cite

Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz. Transformation of B Specifications into UML Class Diagrams and State Machines. 21st Annual ACM Symposium on Applied Computing - SAC 2006, Apr 2006, Dijon, France, pp.1840-1844. ⟨inria-00001269⟩
204 View
423 Download

Share

Gmail Facebook X LinkedIn More