Skip to Main content Skip to Navigation
Conference papers

Transformation of B Specifications into UML Class Diagrams and State Machines

Houda Fekih 1, 2 Leila Jemni Ben Ayed 2 Stephan Merz 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 FST Tunis
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.
Keywords : B method UML refinement class diagram state machine
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
https://hal.inria.fr/inria-00001269
Contributor : Stephan Merz <>
Submitted on : Thursday, April 27, 2006 - 2:36:37 PM
Last modification on : Friday, February 26, 2021 - 3:28:05 PM
Long-term archiving on: : Saturday, April 3, 2010 - 11:16:22 PM

File

Vignette du document
final.pdf

Identifiers

  • HAL Id : inria-00001269, version 1

Collections

INRIA | CNRS | LORIA | UNIV-LORRAINE

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

446

Files downloads

849

 

Contact                    Legal Notice                    Personal Data