关键词: 虚拟企业, 模型化, 检验规则

Abstract: 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.

Key words: virtual enterprise, modeling, checking rules, consistency