Search
 
loader loading subjects...
cover
Incremental Design of Distributed Systems with Event-B
Michael Butler
131 - 159
10.3233/978-1-58603-976-9-131
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 22: Engineering Methods and Tools for Software Safety and Security
Abstract

It is shown how Event-B can be use to model and reason about distributed systems from a high-level global view down to a detailed distributed architectural view. It is shown how refinement and decomposition can be used to introduce distribution of state and control and to introduce message passing between components. Distribution is treated as a special case of concurrency. Techniques are presented for decomposing abstract atomic events into smaller atomic steps in refinement and for decomposing models into sub-models.

$35.00 / €27.50 / £22.00
Add PDF to cart