HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
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