Object-oriented applications development: using UML and B - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1999

Object-oriented applications development: using UML and B

Eric Meyer
  • Function : Author
  • PersonId : 835335

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.
Not file

Dates and versions

inria-00098867 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00098867 , version 1

Cite

Eric Meyer. Object-oriented applications development: using UML and B. Workshop on Modelling & Verification, Dec 1999, Besançon, France, 3 p. ⟨inria-00098867⟩
33 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More