HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Developing UML and B specification using operators : an application to the data refinement

Dieu Donné Okalas Ossami 1 Jeanine Souquières 1 Jean-Pierre Jacquot 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper describes an approach to system development by the managed evolution of multiple view specifications expressed with UML and B notations, using \textit{operators}. Operators maintain the consistency between UML and B. We give a framework for describing operators and illustrate it with the definition of the data refinement. As a case study, we apply this operator during the development of the generalized railroad crossing specification.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00100239
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 10:16:00 AM
Last modification on : Friday, June 25, 2021 - 9:12:02 AM

Identifiers

  • HAL Id : inria-00100239, version 1

Collections

Citation

Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot. Developing UML and B specification using operators : an application to the data refinement. [Intern report] A04-R-389 || okalas_ossami04c, 2004, 19 p. ⟨inria-00100239⟩

Share

Metrics

Record views

81