| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [12 references]
https://hal.inria.fr/inria-00001269
Contributor : Stephan Merz Connect 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
Contributor : Stephan Merz Connect 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