Transformation of B Specifications into UML Class Diagrams and State Machines - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Transformation of B Specifications into UML Class Diagrams and State Machines

Résumé

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 et versions

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

Identifiants

  • HAL Id : inria-00001269 , version 1

Citer

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 Consultations
421 Téléchargements

Partager

Gmail Facebook X LinkedIn More