Formalization method for virtual enterprise integration models

• 虚拟企业集成模型的形式化方法