Derivation Schemes from OCL Expressions to B - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2002

Derivation Schemes from OCL Expressions to B

Hung Ledang
  • Function : Author
  • PersonId : 835379


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.
Fichier principal
Vignette du fichier
A02-R-042.pdf (137.59 Ko) Télécharger le fichier

Dates and versions

inria-00099424 , version 1 (26-09-2006)


  • 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⟩
72 View
103 Download


Gmail Facebook Twitter LinkedIn More