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

Modeling the class operations in B: a case study on the pump component

Hung Ledang 1 Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We propose an approach for modeling in B the class operations which is up to now an open issue. Each class operation is mapped to a B operation. The operation and concerned data are mapped into the same B abstract machine. The calling-called dependency between class operations is used to allocate B operations of class operations in B abstract machines. The B implementation construct and imports primitive are used to model the calling-called dependency betwen class operations. The combination of our approach with rules for data mapping from UML notation into B notation, which are proposed elsewhere, give rise to a complete aproach for deriving B specification from an object oriented specification.
Document type :
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 2:49:26 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM


  • HAL Id : inria-00100689, version 1



Hung Ledang, Jeanine Souquières. Modeling the class operations in B: a case study on the pump component. [Intern report] A01-R-011 || ledang01a, 2001, 37 p. ⟨inria-00100689⟩



Record views