Skip to Main content Skip to Navigation
Conference papers

Automatic Translation from UML Specifications to B

Hung Ledang 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 9:00:00 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Wednesday, March 29, 2017 - 12:55:51 PM


  • 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⟩



Record views


Files downloads