● 摘要
随着经济贸易的全球化，企业面临着不断急剧变化的市场需求及缩短交货期、提高质量、降低成本和改进服务的压力。企业经营环境的变化使得原来各个分散的企业逐渐意识到，要在竞争激烈的市场中生存下来，必须与其他企业建立一种战略上的伙伴关系，实现优势互补，发挥各企业的核心能力。为了获取竞争优势，企业需形成内部、外部的一体化[1-6]。因此，供应链的集成是供应链发展的必然趋势。在一种跨企业的集成管理模式下，使各个企业能够统一协调起来，对供应商、制造商、分销商和最终用户之间的信息流、物流、资金流进行有效的控制，满足市场多元化的需求，并能在不断变化的市场环境中做到快速反应，满足用户的需要，减少供应链的成本。本文根据我国大型飞机制造企业的现状，提出了一个适合我国大型飞机制造业的集成化供应链模型，并根据模型探讨了集成框架的设计和实现，以实现核心企业进行统一规划和信息资源整合的目的。为了使不同的企业与部门之间能够进行快速高效的协同，我国大型飞机制造业的集成化供应链应基于虚拟网络。居于供应链各个环节的各个企业利用网络实现信息的互通与互操作，并形成以信息流驱动服务的集成供应链模型，通过核心企业进行统一规划和信息资源整合来驱动供应链的运营。论文提出了一个基于Web服务的集成框架架构。解决了互联网松耦合环境下异构应用之间的互操作和集成问题。该集成框架具有四个子系统：Web服务组合子系统、Web服务获取与维护子系统、用户界面与绘图子系统以及服务执行引擎，同时还具有BPEL图形建模功能。Web服务组合子系统是本文工作的重点，也是该集成框架的核心功能，其目标是使用户能够使用基于线性逻辑的扩展语言对功能属性进行形式化的描述，并根据用户描述的需求将各种Web服务自动组合并协同工作，以完成用户的任务。使得服务可以灵活地满足用户的需求，实现“按需服务”。针对Web服务的自动组合技术，本文对Web服务的功能性属性进行了形式化定义，将描述Web服务功能属性的WSDL转换为线性逻辑的原子公式。依靠服务的输入和输出，功能属性在服务组合中用于连接原子服务。转化后的线性逻辑扩展公式为：文章还定义了线性逻辑的扩展规则，该规则用于线性逻辑的证明过程。此外，还对用户界面及绘图子系统进行了设计与实现，为用户提供了良好的建模视图。并结合流程模型图形表示与BPEL文件转换两方面内容开发了自动布局算法，使得已有工作流模型可以被重用，无需每次都重新进行建模，提高了建模的效率。Web服务获取与维护子系统、服务执行引擎和BPEL图形建模功能并非本文工作重点，仅为保证论文完整性而就其设计与实现做简要介绍。