Industrial deployment of system engineering methods providing high dependability and productivity


Event-B Decomposition for Parallel Programs

Hoang, Thai Son and Abrial, Jean-Raymond (2010) Event-B Decomposition for Parallel Programs. In: ABZ2010. (In Press)

Full text not available from this repository.


We present here a case study developing a parallel program. The approach that we use combines refinement and decomposition techniques. This involves in the first step to abstractly specify the aim of the program, then subsequently introduce shared information between sub-processes via refinement. Afterwards, decomposition is applied to separate the resulting model into sub-models for different processes. These sub-models are later independently developed using refinement. Our approach aids the understanding of parallel programs and reduces the complexity in their proofs of correctness.

Item Type:Conference or Workshop Item (Paper)
Subjects:Methodology > Composition and reuse
ID Code:206
Deposited By:Thai Son Hoang
Deposited On:05 Feb 2010 10:39
Last Modified:05 Feb 2010 10:39

Repository Staff Only: item control page

Deploy-Project - All right reserved