A systematic approach to transform OMT diagrams to a B specification

Eric Meyer 1 Jeanine Souquières 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 OMT notations into formal specifications. The object model is first transformed into a specification composed of a set of B machines. Then each component of the dynamic model is transformed and integrated into the previous specification leading to a single specification. Transformations are presented as generic templates. When using these templates, the generated specification is automatically proved within the B prover relatively to the invariant preservation.
Type de document :
Communication dans un congrès
J.M. Wing, J. Woodcock, Jim Davies. World Congress on Formal Methods in the Development of Computing Systems - FM'99, 1999, Toulouse, France, Springer-Verlag, 1708, pp.875-895, 1999, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00098957
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:40:48
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08

Identifiants

  • HAL Id : inria-00098957, version 1

Collections

Citation

Eric Meyer, Jeanine Souquières. A systematic approach to transform OMT diagrams to a B specification. J.M. Wing, J. Woodcock, Jim Davies. World Congress on Formal Methods in the Development of Computing Systems - FM'99, 1999, Toulouse, France, Springer-Verlag, 1708, pp.875-895, 1999, Lecture Notes in Computer Science. 〈inria-00098957〉

Partager

Métriques

Consultations de la notice

76