Skip to Main content Skip to Navigation
Conference papers

Integration of UML Views using B Notation

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

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/inria-00107551
Contributor : Publications Loria <>
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

Identifiers

  • HAL Id : inria-00107551, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

194

Files downloads

123