MRPII系统开发的一种形式化方法

虞慧群, 宋国新. MRPII系统开发的一种形式化方法[J]. 华东理工大学学报（自然科学版）, 1998, (3): 361-367.

引用本文:

虞慧群, 宋国新. MRPII系统开发的一种形式化方法[J]. 华东理工大学学报（自然科学版）, 1998, (3): 361-367.

A Formal Approach to Development of MRPII Systems[J]. Journal of East China University of Science and Technology, 1998, (3): 361-367.

Citation:

A Formal Approach to Development of MRPII Systems[J]. Journal of East China University of Science and Technology, 1998, (3): 361-367.

A Formal Approach to Development of MRPII Systems

摘要: 研究了ＭＲＰＩＩ系统开发的形式化方法。使用形式化语言ＲＳＬ定义ＭＲＰＩＩ系统的规范和精化关系。以库存管理子模块为例，详细介绍了将形式化方法ＲＡＩＳＥ应用于ＭＲＰＩＩ系统的规范、精化、验证和实现。

/