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




Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B - Download this document for free, or read online. Document in PDF available to download.

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.

Keywords : b generalised substitution. ocl ocl operation b expression operation ocl expression b substitution generalisee b uml





Author: Hung Ledang - Jeanine Souquières -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents