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

作     者：赵晓峰 赵正旭 周以齐 杨超英 ZHAO Xiao-feng;ZHAO Zheng-xu;ZHOU Yi-qi;YANG Chao-ying

作者机构：山东大学机械工程学院高效洁净机械制造教育部重点实验室山东济南250061 石家庄铁道学院计算机与信息工程分院河北石家庄050043 山东山大华天软件有限公司山东济南250000 

出 版 物：《计算机集成制造系统》 (Computer Integrated Manufacturing Systems)

年 卷 期：2010年第16卷第8期

页      面：1634-1642页

核心收录：

学科分类：0808[工学-电气工程] 0809[工学-电子科学与技术（可授工学、理学学位）] 0817[工学-化学工程与技术] 081203[工学-计算机应用技术] 08[工学] 0807[工学-动力工程及工程热物理] 0802[工学-机械工程] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

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

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