Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B

Hung Ledang
  • Function : Author
  • PersonId : 835379

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 an integral part of UML, into B. Our derivation schemes allow to automatically derive into B not only the complementary class invariants, the guard conditions in state-charts (in OCL) but also the OCL specifications for class operations.
Fichier principal
Vignette du fichier
A02-R-101.pdf (151.97 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00107556 , version 1 (19-10-2006)

Identifiers

  • HAL Id : inria-00107556 , version 1

Cite

Hung Ledang, Jeanine Souquières. Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. Ninth Asia Pacific Software Engineering Conference - APSEC'2002, 2002, Queensland, Australia, 10 p. ⟨inria-00107556⟩
64 View
243 Download

Share

Gmail Facebook X LinkedIn More