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

被引：2

作者：

赵晓峰 ^{[1
]}

赵正旭 ^{[2
]}

周以齐 ^{[1
]}

杨超英 ^{[3
]}

机构：

[1] 山东大学机械工程学院高效洁净机械制造教育部重点实验室

[2] 石家庄铁道学院计算机与信息工程分院

[3] 山东山大华天软件有限公司

来源：

计算机集成制造系统 | 2010年 / 16卷 / 08期

关键词：

虚拟制造; 过程元模型; 集成; Z规范; 形式化;

D O I：

10.13196/j.cims.2010.08.68.zhaoxf.019

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：1634 / 1642

页数：9

共 7 条

[1]

Industrial automation systems and integra-tion-Industrial manufacturing management data—part 43:man-ufacturing flow management data:data model for flow monito-ring and manufacturing data exchange..ISO;.ISO15531-43.2006,

[2]

虚拟制造.[M].肖田元等著;.清华大学出版社.2004,

[3]

运营管理.[M].(美)理查德·B.蔡斯(RichardB.Chase)等著;任建标等译;.机械工业出版社.2003,

[4]

IDEF建模分析和设计方法.[M].陈禹六编;.清华大学出版社.1999,

[5] 基于Z的虚拟加工仿真环境规范技术研究 [J].