虚拟企业模型一致性检查算法设计与实现  

Design & implementation of algorithm for consistency checking on virtual enterprise models

作　　者：孙成柱[1] 李向阳[2] 徐晓飞[1] 

机构地区：[1]哈尔滨工业大学计算机科学与技术学院,黑龙江哈尔滨150001 [2]哈尔滨工业大学管理学院,黑龙江哈尔滨150001

出　　处：《计算机集成制造系统》2005年第11期1520-1525,共6页Computer Integrated Manufacturing Systems

基　　金：国家863/CIMS主题资助项目(2002AA413110);国家自然科学基金资助项目(70571019)~~

摘　　要：针对人工方法检查虚拟企业模型一致性耗时长、正确性和完整性难以保障的问题,提出了一种虚拟企业模型一致性检查算法。首先给出了虚拟企业模型的形式化描述,进而提出基于资源导航的虚拟企业模型,说明了其各个视图之间的关联。在虚拟企业模型一致性分类的基础上,提出了虚拟企业模型一致性检查的检验规则及其修正策略,从而提出一种基于检验规则的虚拟企业模型一致性检查算法,分析了算法的时间复杂性。最后,利用一个系统验证了算法的可行性。Problems existed in model consistency checking in virtual enterprises such as long checking time of virtual enterprise modeling by manpower, and difficult to guarantee validity and integrality of model checking. To deal with these problems, an algorithm for consistency checking on virtual enterprise models was put forward. Firstly, the formalization of virtual enterprise model was presented. And then virtual enterprise model based on resource navigation was put forward and the relationships among views were illustrated. Based on classification of consistency on virtual enterprise models, checking rules and modification strategies of consistency checking on virtual enterprise models were provided. Furthermore, an algorithm for consistency checking on virtual enterprise models based on checking rules was proposed, and complexity of the algorithm was analyzed. Finally, a system was used to prove the feasibility of the algorithm.

关 键 词：虚拟企业 模型化 检验规则 一致性 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]