Object-oriented applications development: using UML and B

Eric Meyer 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper presents a systematic transformation of semi-formal specifications expressed with UML notations into a B formal specifications. An UML static view model is first transformed into a specification composed of a set of B machines. Then each component of state machine views are transformed and integrated into the previous specification leading to a single specification. Transformations are presented as generic templates. The construction of UML models is achieved by using a formal description of patterns.
Type de document :
Communication dans un congrès
Françoise Bellegarde & Olga Kouchnarenko. Workshop on Modelling & Verification, Dec 1999, Besançon, France, 3 p, 1999
Liste complète des métadonnées

https://hal.inria.fr/inria-00098867
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:39:37
Dernière modification le : mardi 24 avril 2018 - 13:34:42

Identifiants

  • HAL Id : inria-00098867, version 1

Collections

Citation

Eric Meyer. Object-oriented applications development: using UML and B. Françoise Bellegarde & Olga Kouchnarenko. Workshop on Modelling & Verification, Dec 1999, Besançon, France, 3 p, 1999. 〈inria-00098867〉

Partager

Métriques

Consultations de la notice

48