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

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

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

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

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

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