|
|||||
|
|
| 基于Event-B的自动化模块组合方法研究 | |
| 引用本文： | 陈金鑫,苏雯.基于Event-B的自动化模块组合方法研究[J].计算机工程,2019,45(5). |
| 作者姓名： | 陈金鑫 苏雯 |
| 作者单位： | 上海大学计算机工程与科学学院,上海,200444;上海大学计算机工程与科学学院,上海,200444 |
| 摘 要： | Event-B共享变量和共享事件方法可将大型系统分解成多个子系统,并独立建模开发,但其需要手工干预以实现模型间事件的组合。为提高组合效率,提出一种针对模型的自动化组合理论,并开发自动化组合工具原型。为在精化模型中逐步引入模块调用,改进PROG方法,开发自动精化工具原型。通过2个应用案例,验证了自动化组合工具能自动组合事件,自动精化工具能减少调用变量的数量,从而增强系统模型的可读性和可维护性。 |
| 关 键 词： | 形式化方法 Event-B方法 模块化建模 自动化模块组合方法 模块调用 精化 |
Research on Automated Module Composition Method Based on Event-B |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |
