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

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

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

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