论文部分内容阅读
随着计算机技术的快速发辰,人类社会对计算机软件的需求不断增加。在开发软件的实践中,研究人员逐渐认识到,要真正实现软件的工业化生产并达到软件产业发展所需要的软件生产率和质量,基于构件的软件复用是现实可行的途径之一,因此基于构件的软件开发(CBSD)成为软件研究与开发实践所关注的重点。CBSD方法将软件生产过程划分为软件构件生产与软件构件组装两个阶段,构件组装阶段的任务是基于成熟可用的构件,生产出满足需求的软件系统,其在CBSD中占有较重要的基础地位。考察并分析目前主流的构件组装技术可以看出,现有中间件所提供的构件组装机制多面向固定、封闭的计算环境,对构件问交互正确性的分析与验证多集中于语法级的交互层次,对构件化系统的可靠性分析多面向单机环境。本文从面向开放环境的构件组装框架、构件问行为相容性与可替换性的验证,以及网络环境下构件化系统可靠性分析等方面对上述问题进行了研究,取得主要成果如下:
1.提出一个面向开放环境、基于移动Agent的构件组装框架.在该框架中,我们将构件连线机制与构件功能体加以分离,并进一步将其分解成描述构件调用方式的组调用表和描述被调用构件所在位置信息的定位表两部分;移动Agent被用来作为底层的构件连线机制以取代传统的远程对象/过程调用机制,它能准确地按照构件组装机制中的相关信息去调用服务构件。这样一种组装框架有助于实现开放环境下构件的重定位与易替换,支持构件组装机制的易调整与易配置性,从而可在一定程度上满足开放环境的需求。
2.提出基于面向对象范型的构件间行为相容性的验证规则。在采用面向对象技术的构件化系统中,构件间交互通常是通过接口方法调用加以实现,本文针对此类构件组装问题,形式地刻画了构件及其对外交互协议,分析了调用构件与被调用构件所能展示的不同行为,给出了连接交互的构件在请求/提供接口上行为相容的一组验证规则,包括:a)仅一方对另一方有请求行为的情形中,基于观察等价关系的两构件间行为相容的充分条件和基于迹关系的行为相容充分条件;b)双方互有请求行为的情形中,基于观察等价关系的两构件行为相容充分条件和基于迹关系的行为相容必要条件;c)多个构件组装成的构件系统行为无死锁的充分条件。
3.提出构件化系统中构件行为可替换性的验证规则。本文讨论了替换后的构件在方法操作、行为协议、服务接口等不同层面上所需满足的要求,给出了相应的验证规则,用于确保构件替换后仍能保持系统内构件问交互的行为相容。相关规则包括:a)基于观察等价关系的两构件间行为可替换性必要条件;b)构件服务接口中方法操作扩展情形下行为可替换性的充分条件;c)构件服务接口中行为协议扩展情形下可替换性的充分条件;d)构件服务接口扩展情形下行为可替换性的必要条件;e)多个构件组装成的构件化系统中保证构件行为可替换性的充分条件。
4.提出了网络环境中构件化系统的可靠性分析模型。该模型首先分析了构件在不同应用域中行为状态变迁所表现出的可靠性、构件间连线的可靠性、及构件间不同组装配置结构所带来的可靠性等因素,然后在此基础上对网络环境中构件化系统的整体可靠性进行建模与分析;我们还对构件及构件问连线的可靠性进行了敏感度分析,从而为开发具有高可靠性的构件化系统提供分析依据。
5.针对上述基于移动Agent的构件组装框架,给出了相应的支撑系统Cogent。我们讨论了Cogent系统中的实现技术,给出了系统总体的功能结构,并对部分原型实现进行较具体地介绍,随后还对其主要连线机制进行了一组性能测试实验,结果表明Cogent系统可在一定程度上满足开放环境下构件应用开发的需求。
6.探讨了相关技术在无线移动电子商务领域中的应用。无线移动环境下的电子商务活动是目前较为活跃的研究领域,本文尝试将上述构件组装原理与技术应用到此领域中,初步实现了一种面向领域的、基于移动Agent的服务构件组装机制,可减轻移动用户的网络连接开销,并提高整个应用过程的可靠性。