Abstract : The translation from UML specifications to formal B specifications gives a way to analyse rigorously UML specifications via their corresponding B formal specifications. This point is significant thanks to B support tools. This paper reports our experiences on UML-into-B translation that emphasise on the integration of different kinds of UML diagrams into B specifications.
https://hal.inria.fr/inria-00107551 Contributor : Publications LoriaConnect in order to contact the contributor Submitted on : Thursday, October 19, 2006 - 9:01:13 AM Last modification on : Friday, February 26, 2021 - 3:28:07 PM Long-term archiving on: : Wednesday, March 29, 2017 - 1:26:25 PM
Hung Ledang, Jeanine Souquières. Integration of UML Views using B Notation. WITUML: ECOOP'02 Workshop on Integration and Transformation of UML models, Jun 2002, Malaga, Spain, 5 p. ⟨inria-00107551⟩