Transformation of B specifications into UML class diagrams and state machines

Authors:
Houda Fekih;Leila Jemni Ben Ayed;Stephan Merz
Affiliations:
FST, Tunis, Tunisia;FST, Tunis, Tunisia;Loria, Nancy, France
Venue:
Proceedings of the 2006 ACM symposium on Applied computing
Year:
2006

Citing 4
Cited 4

The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
From a B Specification to UML StateChart Diagrams

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Dynamic graphical UML views from formal B specifications

Information and Software Technology
Consistency in UML and b multi-view specifications

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

Connecting UML and VDM++ with Open Tool Support

FM '09 Proceedings of the 2nd World Congress on Formal Methods
Translating STATEMATE models into FNLOG for the verification of safety requirements in reactive systems

International Journal of Internet Technology and Secured Transactions
UML in action: a two-layered interpretation for testing

ACM SIGSOFT Software Engineering Notes
Mapping UML to labeled transition systems for test-case generation: a translation via object-oriented action systems

FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects

Quantified Score

Hi-index	0.00

Visualization

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.