%0 Journal Article
%T 生产型虚拟制造系统过程模型的Z规范技术
%A 赵晓峰
%A 赵正旭
%A 周以齐+
%A 杨超英
%J 计算机集成制造系统
%P 0-0
%D 2010
%X 为解决虚拟制造系统间过程信息的集成与共享，提出了一种基于虚拟制造过程元模型和形式化Z语言工具的过程模型规范研究方法。元模型以活动和连接弧为核心，关联制造过程中的产品、资源、转移条件和相关数据，并根据制造过程特点设计了三种标志节点、七种任务节点和两类连接弧。过程要素的Z规范描述保证了数据语义的准确性和无二义性。通过对典型的车间生产和装配过程进行建模，验证了元模型的有效性。
%K 虚拟制造
%K 过程元模型
%K 集成
%K Z规范
%K 形式化
%U http://www.cims-journal.cn/CN/abstract/abstract2732.shtml