在迅速变化、竞争日趋激烈的市场环境下,虚拟企业正逐渐成为一种重要的企业经营模式,越来越多的企业开始与其它企业组成虚拟企业,以便综合多个企业的优势资源,快速响应市场变化,共担投资和风险。信息系统是虚拟企业实现高效运营的基础,但目前虚拟企业信息系统相关技术的发展还不能完全满足用户的需求,针对这一现状,本文分别从体系结构、建模和算法等角度,对虚拟企业信息系统的若干关键技术进行了研究,论文主要内容和研究成果如下: (1)研究了虚拟企业信息系统的体系结构,提出了一种基于Web服务和OAGIS的虚拟企业信息系统体系结构,用于解决虚拟企业各成员信息系统之间因为异地、异构以及业务信息描述差异而导致的集成困难,并研究了该体系结构的一些实现技术,如业务对象文档和 SOAP 消息的绑定,Web 服务安全性和事务性的实现等。 (2)研究了虚拟企业信息系统建模技术,提出了一种虚拟企业信息系统模型体系结构及建模方法,用于指导虚拟企业信息系统开发过程中的建模工作。在虚拟企业信息系统开发过程中分析、设计、实施等阶段,分别通过组织模型、信息模型、业务流程模型、功能模型、接口模型、交互模型、Web 服务调用流程模型、绑定模型和部署模型等,从多个视角对虚拟企业信息系统的全面描述。 (3)研究了虚拟企业信息系统服务调用流程正确性检测方法,提出了基于模型检测的流程模型检测方法,用于解决 Web 服务调用流程模型正确性检测问题。根据 Web 服务调用流程的特点,提出了流程模型的检测指标,给出了描述检测指标的模态逻辑公式,以及利用自动机方法和博弈算法验证流程模型正确性的方法步骤。 (4)研究了虚拟企业成员选择问题,提出了基于蚂蚁算法的虚拟企业成员选择方法,用于解决多优化目标条件下虚拟企业成员选择问题,给出了算法的实现步骤,并进行了实例验证。 (5)研究了虚拟企业中各成员之间进行生产任务分配问题,提出了基于蜂群算法生产任务调度分配方法,用于解决在敏捷组织单元之间进行生产任务动态调度分配问题,给出了算法的实现步骤,并进行了实例验证。