本文關(guān)鍵詞：基于Web服務的PAR方法輔助教學系統(tǒng)的研發(fā)，由筆耕文化傳播整理發(fā)布。

【摘要】：PAR方法是一種簡單實用的算法設(shè)計方法和能證明程序正確性的軟件形式化方法,越來越多的軟件使用PAR方法來開發(fā)關(guān)鍵的可靠性部件。PAR方法的教育普及也變得越發(fā)重要。但是傳統(tǒng)的課堂教學存在一定的條件限制。已有的傳統(tǒng)教學中普遍存在理論與實踐脫離,教學效果不理想且教學范圍小等問題。Web Service技術(shù)是用于開發(fā)高度通用性和易用性與平臺無關(guān)和語言獨立的系統(tǒng)應用程序。Web Service技術(shù)是能夠使得不同機器上的不同應用程序無須借助其他第三方的軟硬件,就可進行交互數(shù)據(jù)和應用集成。使用Web Service開發(fā)出的應用程序能夠給客戶端和瀏覽器使用甚至其他開發(fā)者也可使用。在傳統(tǒng)的教學軟件中一般采用三層軟件結(jié)構(gòu)即為顯示層、業(yè)務邏輯層和數(shù)據(jù)層。傳統(tǒng)教學軟件在這種軟件體系結(jié)構(gòu)下不能根據(jù)用戶需求的不同而提供不同的業(yè)務邏輯。基于這種情況本教學軟件采用了四層軟件架構(gòu)即為用戶訪問層、邏輯處理層、服務層和其他組件層。服務層為用戶提供單個服務,邏輯處理層可以根據(jù)用戶的需求組合服務層為用戶提供不同的業(yè)務邏輯。傳統(tǒng)的教學軟件在服務端一般采用單一服務器模式,所以用戶請求和處理都在同一服務器上容易造成服務響應不及時甚至無法提供服務等。本教學軟件采用Web Service技術(shù)來開發(fā),并且采用將不同功能模塊進行劃分且部署在不同服務器上。使得用戶請求訪問時可以根據(jù)請求服務的不同而采用不同的服務器為用戶提供服務。Apache CXF是一個開源的Web Services框架,而Spring是一個輕量級的Java開發(fā)框架。使用CXF結(jié)合Spring框架開發(fā)Web Service可易服務器中部署Web服務。所以本文采用CXF和Spring框架來開發(fā)Web服務,選取了PAR方法下的Apla語言作為教學語言,并且結(jié)合了Apla到C++轉(zhuǎn)換系統(tǒng)作為編程實踐平臺,完成了整個輔助教學系統(tǒng)。本研究主要做了如下創(chuàng)新：1) 采用四層軟件體系結(jié)構(gòu)和面向服務軟件架構(gòu)相結(jié)合,解決傳統(tǒng)教學軟件無法根據(jù)用戶需求組合不同服務器上的業(yè)務邏輯問題,實現(xiàn)了從不同服務器上獲取不同服務且將服務進行組合,提供給用戶。2) 傳統(tǒng)的教學軟件一般是多客戶端到單一服務器的交互模式。而通過Web Service技術(shù)、CXF框架和Spring容器等技術(shù)實現(xiàn)了從多客戶端到多個服務器的交互。從而增強系統(tǒng)的處理能力。
【關(guān)鍵詞】：PAR方法 Web Service CXF Spring Apla
【學位授予單位】：江西師范大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：TP311.52;TP393.09
【目錄】：

• 摘要3-4
• Abstract4-8
• 第一章 引言8-11
• 第二章 PAR方法概述11-13
• 2.1 Radl語言11-12
• 2.2 Apla語言12
• 2.3 PAR方法主要特點12-13
• 第三章 Web Service技術(shù)13-22
• 3.1 Web Service概述13-14
• 3.2 Web Service相關(guān)開發(fā)工具14-16
• 3.2.1 開發(fā)工具的選擇14-15
• 3.2.2 Spring容器簡介15-16
• 3.2.3 Apache Tomcat簡介16
• 3.3 Web Service開發(fā)模型16-17
• 3.4 Web服務協(xié)議堆棧17-19
• 3.5 Web服務架構(gòu)的優(yōu)勢19-20
• 3.6 面向服務的架構(gòu)20-22
• 第四章 PAR方法輔助教學系統(tǒng)設(shè)計與實現(xiàn)22-60
• 4.1 系統(tǒng)設(shè)計原則22
• 4.2 系統(tǒng)開發(fā)目標22-23
• 4.3 系統(tǒng)功能分析23-24
• 4.4 體系結(jié)構(gòu)24-27
• 4.5 各個子系統(tǒng)的實現(xiàn)27-49
• 4.5.1 ParClient子系統(tǒng)27-29
• 4.5.2 CXFParLogin子系統(tǒng)29-34
• 4.5.3 CXFParService子系統(tǒng)34-43
• 4.5.4 CXFCombination子系統(tǒng)43-49
• 4.5.5 多用戶訪問49
• 4.6 部署與運行調(diào)試49-59
• 4.6.1 部署49-51
• 4.6.2 運行調(diào)試51-54
• 4.6.3 抽象數(shù)據(jù)類型學習案例54-59
• 4.7 本章總結(jié)59-60
• 總結(jié)與展望60-62
• 參考文獻62-64
• 致謝64-65
• 讀期間公開發(fā)表論文(著)及科研情況65

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 錢建成;;語言建構(gòu)主義與多媒體教學[J];華北水利水電學院學報(社科版);2007年04期

2 李燦;;我國多媒體教學的現(xiàn)狀、成因及發(fā)展前景[J];當代教育論壇(下半月刊);2009年08期

3 邢莉莉;;我國多媒體教學發(fā)展研究[J];計算機光盤軟件與應用;2014年02期

4 艾春;;淺談B/S結(jié)構(gòu)的教學系統(tǒng)在當代多媒體教學中的優(yōu)勢[J];今日科苑;2009年14期

5 姚文季 ,李靖誼;用于交互式計算機圖形顯示的教學軟件系統(tǒng)[J];南京航空航天大學學報;1986年03期

6 殷江南;;高校多媒體網(wǎng)絡(luò)教學的課堂組織[J];當代教育論壇;2006年15期

7 張璇;黃勤龍;彭朋;李成功;;虛擬銀行教學軟件系統(tǒng)的設(shè)計、實現(xiàn)與應用[J];計算機教育;2009年10期

8 趙鐵成;;廣播電視大學開放教育網(wǎng)絡(luò)教學反思——以英語專業(yè)教學為例[J];綏化學院學報;2011年05期

9 李德文;何克抗;;教學軟件設(shè)計的新思考[J];中國電化教育;2001年05期

10 符紅霞;;Spring MVC技術(shù)分析及在實踐教學系統(tǒng)中的應用[J];信息技術(shù);2012年10期

中國重要報紙全文數(shù)據(jù)庫 前3條

1 CMP(中國)咨詢有限公司 閆成印邋河北衡水中學 閆淑貳;應用效果：現(xiàn)實與期望有點遠[N];中國計算機報;2007年

2 本報記者 馬磊;支持國貨不必墨守成規(guī)[N];政府采購信息報;2009年

3 本報記者 姜乃強　萬玉鳳;堅定信心沿著正確教改方向邁進[N];中國教育報;2008年

中國碩士學位論文全文數(shù)據(jù)庫 前2條

1 吳莫海;基于Web服務的PAR方法輔助教學系統(tǒng)的研發(fā)[D];江西師范大學;2015年

2 王海;音樂練耳教學軟件的設(shè)計與實現(xiàn)[D];東北大學;2005年

  本文關(guān)鍵詞：基于Web服務的PAR方法輔助教學系統(tǒng)的研發(fā)，，由筆耕文化傳播整理發(fā)布。

本文編號：503538