论文部分内容阅读
基于组件的软件开发方法,旨在复用已有的、经过验证的软件组件来构造应用系统,这不仅可大大减少软件开发的人力、物力投入,缩短开发周期,同时也有利于提高软件的质量,因而它是实现软件复用的切实可行的途径,也是软件走向工程化和产业化的必由之路。 随着现代软件系统规模越来越大,复杂性越来越高,软件系统所具有的开放性、分布性的特点越来越突出。为了减少复杂性,人们将处理事务逻辑和处理系统底层的基础设施相分离,形成了不同的分布式中间件标准,在中间件技术之上提出了组件模型,用来说明如何构造组件以及组件间如何进行交互。如今,主流的组件模型有OMG组织的CORBA组件模型,Microsoft的DCOM和SUN公司的EJB组件模型等。这些组件模型构成了企业应用的基础,不同组件模型中的各组件间如何进行互操作对提高软件复用程度,实现企业内部应用集成和跨企业交互具有十分重要的意义。 本文对异构组件互操作的相关问题进行了深入研究,主要研究内容及创新点概括如下: 1.分析了目前分布式组件模型主流技术的特点和实现异构组件互操作的主要方法,指出了在开放环境下目前组件接口定义语言在组件描述和互操作方面存在的不足,提出了组件接口规约框架,归纳总结了组件非功能信息,给出了基于XML的对组件进行全面准确描述的可扩展组件标准化描述模板。 2.根据上述组件接口规约框架,对组件接口进行了扩展。即基于契约化设计思想,对组件接口进行了语义层信息扩展;基于多元π演算,对组件接口进行了行为协议层信息扩展,从而使组件接口全面准确地描述了组件的“静态”和“动态”信息。 3.在扩展接口的基础上研究了组件匹配和组件交易服务。在接口的语法层提出了基于类型的基调匹配;在语义层提出了基于前件/后件和一阶谓词逻辑的语义层匹配;在协议层基于π演算互模拟性理论进行协议层匹配。在研究了组件匹配后,提出了基于标准化描述模板的组件交易服务,并研究了基于协作服务器图模型CSG的交易者联盟动态管理问题。 4.研究了组件组合和组合互操作中的组装推导,给出了在体系结构指导下从候选组件集合中对组件配置的算法,研究了互操作中的兼容性和替代性等关键