11073.基于web服務(wù)的par方法輔助教學(xué)系統(tǒng)的研發(fā)

1、分類號：_____________密級:學(xué)校代碼：10414學(xué)號：402012160018?2琢呷紇犬學(xué)碩士專業(yè)學(xué)位研宄生學(xué)位論文基于Web服務(wù)的PAR方法輔助教學(xué)系統(tǒng)的研發(fā)TheresearchdevelopmentofauxiliaryteachingsystemofPARmethodbasedonWebservice吳莫海院所：計算機(jī)信息工程學(xué)院導(dǎo)師姓名：薛錦云學(xué)位類別：工程碩士專業(yè)領(lǐng)域：計算機(jī)技術(shù)二0—五年六月摘要PAR方法是一

2、種簡單實(shí)用的算法設(shè)計方法和能證明程序正確性的軟件形式化方法，越來越多的軟件使用PAR方法來開發(fā)關(guān)鍵的可靠性部件。PAR方法的教育普及也變得越發(fā)重要。但是傳統(tǒng)的課堂教學(xué)存在一定的條件限制。已有的傳統(tǒng)教學(xué)中普遍存在理論與實(shí)踐脫離，教學(xué)效果不理想且教學(xué)范圍小等問題。WebService技術(shù)是用于開發(fā)高度通用性和易用性與平臺無關(guān)和語言獨(dú)立的系統(tǒng)應(yīng)用程序。WebService技術(shù)是能夠使得不同機(jī)器上的不同應(yīng)用程序無須借助其他第三方的軟硬件，就可進(jìn)

3、行交互數(shù)據(jù)和應(yīng)用集成。使用WebService開發(fā)出的應(yīng)用程序能夠給客戶端和瀏覽器使用甚至其他開發(fā)者也可使用。在傳統(tǒng)的教學(xué)軟件中一般采用三層軟件結(jié)構(gòu)即為顯示層、業(yè)務(wù)邏輯層和數(shù)據(jù)層。傳統(tǒng)教學(xué)軟件在這種軟件體系結(jié)構(gòu)下不能根據(jù)用戶需求的不同而提供不同的業(yè)務(wù)邏輯。基于這種情況本教學(xué)軟件采用了四層軟件架構(gòu)即為用戶訪問層、邏輯處理層、服務(wù)層和其他組件層。月艮務(wù)層為用戶提供單個服務(wù)，邏輯處理層可以根據(jù)用戶的需求組合服務(wù)層為用戶提供不同的業(yè)務(wù)邏輯。傳統(tǒng)

4、的教學(xué)軟件在服務(wù)端一般采用單一服務(wù)器模式，所以用戶請求和處理都在同一服務(wù)器上容易造成服務(wù)響應(yīng)不及時甚至無法提供服務(wù)等。本教學(xué)軟件采用WebService技術(shù)來開發(fā)，并且采用將不同功能模塊進(jìn)行劃分且部署在不同服務(wù)器上。使得用戶請求訪問時可以根據(jù)請求服務(wù)的不同而采用不同的服務(wù)器為用戶提供服務(wù)。ApacheCXF是一個開源的WebServices框架，而Spring是一個輕量級的Java開發(fā)框架。使用CXF結(jié)合Spring框架開發(fā)WebSer

5、vice可易服務(wù)器中部署Web服務(wù)。所以本文采用CXF和Spring框架來開發(fā)Web服務(wù)，選取了PAR方法下的Apia語言作為教學(xué)語言，并且結(jié)合了Apia到C轉(zhuǎn)換系統(tǒng)作為編程實(shí)踐平臺，完成了整個輔助教學(xué)系統(tǒng)。本研究主要做了如下創(chuàng)新：1)采用四層軟件體系結(jié)構(gòu)和面向服務(wù)軟件架構(gòu)相結(jié)合，解決傳統(tǒng)教學(xué)軟件無法根據(jù)用戶需求組合不同服務(wù)器上的業(yè)務(wù)邏輯問題，實(shí)現(xiàn)了從不同服務(wù)器上獲取不同服務(wù)且將服務(wù)進(jìn)行組合，提供給用戶。2)傳統(tǒng)的教學(xué)軟件一般是多客戶端