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

Z specification technology for process model of production virtual manufacturing system

作　　者：赵晓峰[1] 赵正旭[2] 周以齐[1] 杨超英[3] 

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

出　　处：《计算机集成制造系统》2010年第8期1634-1642,共9页Computer Integrated Manufacturing Systems

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

摘　　要：为解决虚拟制造系统间过程信息的集成与共享,提出了一种基于虚拟制造过程元模型和形式化Z语言工具的过程模型规范研究方法。元模型以活动和连接弧为核心,关联制造过程中的产品、资源、转移条件和相关数据,并根据制造过程特点设计了三种标志节点、七种任务节点和两类连接弧。过程要素的Z规范描述保证了数据语义的准确性和无二义性。通过对典型的车间生产和装配过程进行建模,验证了元模型的有效性。To realize process information integration and sharing among virtual manufacturing systems,aprocess model specification approach was proposed based on virtual manufacturing process meta-model and formalized speci-fication language Z.Connector was also regard as the core element besides activity in the meta-model.All manufac-turing process information,such as product,resources,transition condition and relevant data were associated by the core elements.According to the manufacturing process feature,three flag nodes,seven task nodes and two connec-tors were designed in the meta-model.The Z specification formalized description of all process elements ensured pre-cision of data semantics.Based on the meta-model,typical workshop manufacturing and assembly process modeling example were provided to demonstrate the feasibility of this meta-model.

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]