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

Hung Ledang (1) , Jeanine Souquières (1)

1 DEDALE - Development of specifications

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.

Mots clés: b generalised substitution.; uml; ocl; ocl operation; b expression; operation ocl; expression b; substitution generalisee b

Domaines: Autre [cs.OH]

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⟩