A Survey on Event-B Decomposition

Thai Son Hoang, Alexei Iliasov, Renato A Silva, Wei Wei

Abstract


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 refinementbased formal method, equipped with three decomposition styles that come with solid semantic foundations and strong tool support. 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.


Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.46.688

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.46.688.702

Hosted By Universit├Ątsbibliothek TU Berlin.