Derivation Schemes from OCL Expressions to 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 part and parcel of UML, into B. Our derivation schemes allow to automatically derive in B not only the complementary class invariants, the guard conditions in state-charts (in OCL) but also OCL specifications OCL class operations, events or use cases.
Type de document :
Rapport
[Intern report] A02-R-042 || ledang02b, 2002, 10 p
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00099424
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:03:18
Dernière modification le : mardi 24 avril 2018 - 13:34:48
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 11:53:27

Fichiers

Identifiants

  • HAL Id : inria-00099424, version 1

Collections

Citation

Hung Ledang, Jeanine Souquières. Derivation Schemes from OCL Expressions to B. [Intern report] A02-R-042 || ledang02b, 2002, 10 p. 〈inria-00099424〉

Partager

Métriques

Consultations de la notice

88

Téléchargements de fichiers

67