Object-oriented applications development: using UML and B - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1999

Object-oriented applications development: using UML and B

Eric Meyer
  • Fonction : Auteur
  • PersonId : 835335

Résumé

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.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00098867 , version 1

Citer

Eric Meyer. Object-oriented applications development: using UML and B. Workshop on Modelling & Verification, Dec 1999, Besançon, France, 3 p. ⟨inria-00098867⟩
35 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More