Automatic Translation from UML Specifications to B - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2001

Automatic Translation from UML Specifications to B

Hung Ledang
  • Function : Author
  • PersonId : 835379


The translation from UML specifications to B specifications gives a way to use jointly UML and B in an unified, practical and rigorous software development. We can formally analyse UML specifications via their corresponding B formal specifications. This point is significant because B support tools are available. We can also use UML specifications as a tool for building B specifications, so the development of B specifications become easier. So far, the rules for mapping data elements from UML specifications into B have been proposed. However, the problem of translating UML behavioral diagrams into B specifications has been an open issue. This point is the main concern in this paper. We are planning to propose derivation schemes to translate automatically UML behavioral diagrams into B specifications. Furthermore, the combination between the object refinement and the B refinement is also investigated.
Fichier principal
Vignette du fichier
A01-R-264.pdf (66.81 Ko) Télécharger le fichier

Dates and versions

inria-00107526 , version 1 (19-10-2006)


  • HAL Id : inria-00107526 , version 1


Hung Ledang. Automatic Translation from UML Specifications to B. Automated Software Engineering - ASE 2001 Doctoral Symposium, Nov 2001, Loews Coronado Bay, San Diego, USA, 6 p. ⟨inria-00107526⟩
100 View
159 Download


Gmail Facebook Twitter LinkedIn More