Skip to Main content Skip to Navigation
Conference papers

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
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 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/inria-00107556
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 9:01:26 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Wednesday, March 29, 2017 - 12:55:58 PM

Identifiers

  • HAL Id : inria-00107556, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

118

Files downloads

277