生产型虚拟制造系统过程模型的Z规范技术

摘要：

为解决虚拟制造系统间过程信息的集成与共享,提出了一种基于虚拟制造过程元模型和形式化Z语言工具的过程模型规范研究方法.元模型以活动和连接弧为核心,关联制造过程中的产品、资源、转移条件和相关数据,并根据制造过程特点设计了三种标志节点、七种任务节点和两类连接弧.过程要素的Z规范描述保证了数据语义的准确性和无二义性.通过对典型的车间生产和装配过程进行建模,验证了元模型的有效性.

关键词：虚拟制造、过程元模型、集成、Z规范、形式化

所属期刊栏目：16

分类号：TP391(计算技术、计算机技术)

资助基金：国家863计划资助项目2007AA040502

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

页数：共9页

页码：1634-1642