一種基于組件的Web應(yīng)用建模方法.pdf

1、互聯(lián)網(wǎng)架構(gòu)的飛速發(fā)展，促進(jìn)了Web應(yīng)用的廣泛應(yīng)用。Web應(yīng)用在國(guó)計(jì)民生、商業(yè)領(lǐng)域和個(gè)人生活中發(fā)揮著日益重要的作用?，F(xiàn)今，Web應(yīng)用已發(fā)展成為一種成熟而又復(fù)雜的分布式系統(tǒng)，并且日趨專業(yè)化和協(xié)作化，針對(duì)它的分析、建模及測(cè)試工作給軟件工程領(lǐng)域帶來了極大的挑戰(zhàn)。 本文提出一種基于組件的Web應(yīng)用的建模方法。該方法用于其設(shè)計(jì)階段，先將Web應(yīng)用組件劃分為視圖組件和服務(wù)器端組件，其中視圖組件封裝Web頁面的行為，服務(wù)器端組件封裝業(yè)務(wù)邏輯處理

2、，然后給出Web應(yīng)用的UML組件結(jié)構(gòu)模型和行為模型。該組件模型既提高了Web頁面的抽象層次，又統(tǒng)一了Web頁面與Web應(yīng)用后臺(tái)服務(wù)器中組件的描述方式。 UML模型雖然圖形表示能力很強(qiáng)，有很好的易用性及可理解性，但其半形式表示方法缺乏精確的語義，產(chǎn)生的規(guī)格說明往往不夠精確和完整，從而造成系統(tǒng)的不完善。如果提供精確的軟件規(guī)格說明，將有利于對(duì)系統(tǒng)實(shí)現(xiàn)的精確描述，使誤解引起的錯(cuò)誤減少，而軟件形式方法正是基于嚴(yán)格精確的數(shù)學(xué)邏輯模型，可以進(jìn)

3、行高度抽象的推理與證明過程，并且能夠?qū)π问揭?guī)格說明進(jìn)行正確性證明。但是形式規(guī)格說明中的數(shù)學(xué)概念抽象，從而導(dǎo)致規(guī)格說明難以閱讀。由于圖形化規(guī)格說明和形式方法在軟件開發(fā)過程中有各自的優(yōu)缺點(diǎn)，將兩者結(jié)合起來，則可以產(chǎn)生既容易理解又精確的軟件規(guī)格說明。 為了提高UML組件模型的精確性，本文采用UML與形式語言O(shè)biect-Z相結(jié)合的方法來描述Web應(yīng)用組件，將結(jié)合OCL表達(dá)式的Web應(yīng)用的UML組件模型，轉(zhuǎn)換成Obljeot-Z的形式規(guī)