文章基本信息

标题：A Survey on Event-B Decomposition
本地全文：下载
作者：Thai Son Hoang ; Alexei Iliasov ; Renato A Silva 等
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2011
卷号：46
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：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.