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.
https://hal.inria.fr/inria-00001269 Contributor : Stephan MerzConnect in order to contact the contributor Submitted on : Thursday, April 27, 2006 - 2:36:37 PM Last modification on : Friday, February 4, 2022 - 3:22:02 AM Long-term archiving on: : Saturday, April 3, 2010 - 11:16:22 PM
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⟩