论文摘要
随着软件规模的不断扩大,人们对软件生产效率和软件质量的要求越来越高,基于构件的软件开发（Component-based Software Development,CBSD）已经成为软件技术必然趋势之一。业务构件（Business Component）作为独立的、可重用性基本元素,是基于构件的系统（Component-based System,CBS）的基本构成单元。因此,业务构件的可信性决定了CBS的可信性。然而,目前对业务构件的研究主要集中于构件识别、重用模式和粒度优化等领域,而对业务构件的可信性则较少给予关注。因此,本文运用形式化方法从概念逻辑层面对业务构件的可信性进行了初步的探讨。本文既从构件开发者角度建立了业务构件可信性的保证机制,又从构件使用者角度给出了业务构件可信性的度量方法,为保证业务构件的可信性提供了理论基础与方法支持。首先,本文指出了业务构件可信性研究在CBS开发过程中的重要意义,综述了业务构件可信性的国内外研究现状,并在此基础上确定了总的研究方向与框架。同时界定了业务构件的可信性的定义及相关概念,并提出了运用形式化方法在业务构件可信性研究中的重要作用和优势。其次,从业务构件开发者的视角,给出了业务构件可信性的概念模型和可信要素——逻辑和行为可信、约束可信和能力可信。同时,给出了业务构件可信性的保证架构的设计。然后,提出了业务构件可信性的保证机制,即以形式化方法为基础从业务逻辑的设计和执行的过程探讨保证业务构件的可信性。最后,站在业务构件使用者的角度,构建了业务构件可信性的度量模型——基于神经网络的等级度量方法。针对业务构件的可信性,本文全面的从业务构件开发者和业务构件使用者角度两方面研究了业务构件的可信性,为业务构件可信性的研究提供了重要的理论参考价值。