A Survey on Event-B Decomposition
Thai Son Hoang, Alexei Iliasov, Renato Alves da Silva, Wei Wei · Repository for Publications and Research Data (ETH Zurich) · 2012
Model decomposition is a powerful tool to scale the design of large and complex systems.It enables developers to separate components development from the concerns of their integration and orchestration.Event-B is a refinement-based formal method, equipped with three decomposition styles that come with solid semantic foundations and strong tool supports.This paper intends to give some useful insights and modelling guidelines for using these decomposition styles, illustrated by an actual development of a master data updating system.