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.
Keywords : b generalised substitution. ocl ocl operation b expression operation ocl expression b substitution generalisee b uml
Type de document :
Communication dans un congrès
IEEE Computer Society. Ninth Asia Pacific Software Engineering Conference - APSEC'2002, 2002, Queensland, Australia, 10 p, 2002
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00107556
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:01:26
Dernière modification le : mardi 24 avril 2018 - 13:36:34
Document(s) archivé(s) le : mercredi 29 mars 2017 - 12:55:58

Fichier

A02-R-101.pdf

Identifiants

  • HAL Id : inria-00107556, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Hung Ledang, Jeanine Souquières. Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. IEEE Computer Society. Ninth Asia Pacific Software Engineering Conference - APSEC'2002, 2002, Queensland, Australia, 10 p, 2002. 〈inria-00107556〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

81

Téléchargements de fichiers

86

Contact


archive-ouverte@inria.fr