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

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

针对人工方法检查虚拟企业模型一致性耗时长、正确性和完整性难以保障的问题,提出了一种虚拟企业模型一致性检查算法。首先给出了虚拟企业模型的形式化描述,进而提出基于资源导航的虚拟企业模型,说明了其各个视图之间的关联。在虚拟企业模型一致性分类的基础上,提出了虚拟企业模型一致性检查的检验规则及其修正策略,从而提出一种基于检验规则的虚拟企业模型一致性检查算法,分析了算法的时间复杂性。最后,利用一个系统验证了算法的可行性。

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.