業(yè)務(wù)構(gòu)件可信性的保證機(jī)制及其度量的研究初探.pdf

1、隨著軟件規(guī)模的不斷擴(kuò)大，人們對(duì)軟件生產(chǎn)效率和軟件質(zhì)量的要求越來(lái)越高，基于構(gòu)件的軟件開(kāi)發(fā)（CBSD）已經(jīng)成為軟件技術(shù)必然趨勢(shì)之一。業(yè)務(wù)構(gòu)件（Business Component）作為獨(dú)立的、可重用性基本元素，是基于構(gòu)件的系統(tǒng)（CBS）的基本構(gòu)成單元。因此，業(yè)務(wù)構(gòu)件的可信性決定了CBS的可信性。然而，目前對(duì)業(yè)務(wù)構(gòu)件的研究主要集中于構(gòu)件識(shí)別、重用模式和粒度優(yōu)化等領(lǐng)域，而對(duì)業(yè)務(wù)構(gòu)件的可信性則較少給予關(guān)注。因此，本文運(yùn)用形式化方法從概念邏輯層面對(duì)

2、業(yè)務(wù)構(gòu)件的可信性進(jìn)行了初步的探討。本文既從構(gòu)件開(kāi)發(fā)者角度建立了業(yè)務(wù)構(gòu)件可信性的保證機(jī)制，又從構(gòu)件使用者角度給出了業(yè)務(wù)構(gòu)件可信性的度量方法，為保證業(yè)務(wù)構(gòu)件的可信性提供了理論基礎(chǔ)與方法支持。 首先，本文指出了業(yè)務(wù)構(gòu)件可信性研究在CBS開(kāi)發(fā)過(guò)程中的重要意義，綜述了業(yè)務(wù)構(gòu)件可信性的國(guó)內(nèi)外研究現(xiàn)狀，并在此基礎(chǔ)上確定了總的研究方向與框架。同時(shí)界定了業(yè)務(wù)構(gòu)件的可信性的定義及相關(guān)概念，并提出了運(yùn)用形式化方法在業(yè)務(wù)構(gòu)件可信性研究中的重要作用和優(yōu)勢(shì)

3、。其次，從業(yè)務(wù)構(gòu)件開(kāi)發(fā)者的視角，給出了業(yè)務(wù)構(gòu)件可信性的概念模型和可信要素——邏輯和行為可信、約束可信和能力可信。同時(shí)，給出了業(yè)務(wù)構(gòu)件可信性的保證架構(gòu)的設(shè)計(jì)。然后，提出了業(yè)務(wù)構(gòu)件可信性的保證機(jī)制，即以形式化方法為基礎(chǔ)從業(yè)務(wù)邏輯的設(shè)計(jì)和執(zhí)行的過(guò)程探討保證業(yè)務(wù)構(gòu)件的可信性。最后，站在業(yè)務(wù)構(gòu)件使用者的角度，構(gòu)建了業(yè)務(wù)構(gòu)件可信性的度量模型——基于神經(jīng)網(wǎng)絡(luò)的等級(jí)度量方法。 針對(duì)業(yè)務(wù)構(gòu)件的可信性，本文全面的從業(yè)務(wù)構(gòu)件開(kāi)發(fā)者和業(yè)務(wù)構(gòu)件使用者角度