Skip to Main content Skip to Navigation

Derivation Schemes from OCL Expressions to B

Hung Ledang 1 Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In the continuity of our research on integration of UML and B, we address in this paper the transformation from OCL (Object Constraint Language), which is part and parcel of UML, into B. Our derivation schemes allow to automatically derive in B not only the complementary class invariants, the guard conditions in state-charts (in OCL) but also OCL specifications OCL class operations, events or use cases.
Document type :
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 9:03:18 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM
Long-term archiving on: : Friday, November 25, 2016 - 11:53:27 AM


  • HAL Id : inria-00099424, version 1



Hung Ledang, Jeanine Souquières. Derivation Schemes from OCL Expressions to B. [Intern report] A02-R-042 || ledang02b, 2002, 10 p. ⟨inria-00099424⟩



Record views


Files downloads