关键词： 虚拟企业； 企业模型； 形式化方法； 工业软件工程严格方法(RAISE)； 集成计算机辅助制造定义方法(IDEF)
CIMS的研究与开发正处于企业集成阶段，虚拟企业研究正是这一阶段的重要研究课题和使能技术之一。对于虚拟企业的建立与运作，尤其是在作为其基础与要素的虚拟企业模型以及相应的信息系统实现问题上，还不存在成熟的理论、方法与规范。本文应用形式化的工业软件工程严格方法(RAISE)与集成计算机辅助制造定义方法(IDEF)相结合的手段建立虚拟企业模型，并探讨有关模型驱动的系统集成与系统实现问题。
1、虚拟企业建模
1.1 虚拟企业模型
虚拟企业是一组企业的临时组织或联盟，其目的是通过联合的成本与技术开拓适应快速变化的市场。建立具有指导意义的虚拟企业模型，以模型为驱动，实现虚拟企业信息系统，是当前解决虚拟企业集成问题普遍认可的方法。因此，建立虚拟企业模型，尤其是建立企业生产过程与经营过程模型，是分析企业过程，进而有效的组建虚拟企业系统的必需。
1.2 虚拟企业建模面临的问题
虚拟企业的集成和企业模型的构建很复杂，建模需要着重解决以下问题： 1) 企业模型必须能从高层抽象企业功能、结构、特性，以便企业级的过程重组； 2) 企业模型必须适应动态虚拟企业的特点，做到易于重构(即有可重构性)； 3) 可重用性与可伸缩性； 4) 建模方法必须简单易用，这是因为一般企业，尤其是中小型企业，不具备专业的建模人员； 5) 企业建模过程应该融合企业的不同层次，使虚拟企业涉及的各层次人员能够广泛参与。
虚拟企业的复杂性使得一些单一信息系统中低层次的问题也必须提高到模型(抽象)层次才能解决。这使虚拟企业建模问题更加复杂化。以IDEF为代表的传统企业建模方法在处理虚拟企业建模问题上逐渐暴露出自身的某些局限性。为了解决上述问题，增加系统实现的自动化程度、减少系统的不一致性，更快、更好、更可靠的实现虚拟企业系统，尝试在企业模型建立与系统实现的过程中引入形式化方法作为传统建模方法的补充。