基于Event-B的自动化模块组合方法研究

摘要：

Event-B共享变量和共享事件方法可将大型系统分解成多个子系统,并独立建模开发,但其需要手工干预以实现模型间事件的组合.为提高组合效率,提出一种针对模型的自动化组合理论,并开发自动化组合工具原型.为在精化模型中逐步引入模块调用,改进PROG方法,开发自动精化工具原型.通过2个应用案例,验证了自动化组合工具能自动组合事件,自动精化工具能减少调用变量的数量,从而增强系统模型的可读性和可维护性.

关键词：形式化方法、Event-B方法、模块化建模、自动化模块组合方法、模块调用、精化

所属期刊栏目：45

分类号：TP274(自动化技术及设备)

资助基金：国家自然科学基金61602293

在线出版日期：2019-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：298-307,314