Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00098957
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:40:48 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Identifiers

  • HAL Id : inria-00098957, version 1

Collections

Citation

Eric Meyer, Jeanine Souquières. A systematic approach to transform OMT diagrams to a B specification. World Congress on Formal Methods in the Development of Computing Systems - FM'99, 1999, Toulouse, France, pp.875-895. ⟨inria-00098957⟩

Share

Metrics

Record views

126