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

• 作者: 苏雯 陈金鑫
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 形式化方法 Event-B方法 模块化建模 自动化模块组合方法 模块调用 精化
• 年，卷（期）: 2019,（5）
• 所属期刊栏目: 开发研究与工程应用
• 页码范围: 298-307,314
• 页数: 11页
• 分类号: TP274
• 字数: 7412字
• 语种: 中文
• DOI: 10.19678/j.issn.1000-3428.0050731

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈金鑫	上海大学计算机工程与科学学院	1	0	0.0	0.0
2	苏雯	上海大学计算机工程与科学学院	1	0	0.0	0.0