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

【摘要】：PAR方法是一種簡單實(shí)用的算法設(shè)計(jì)方法和能證明程序正確性的軟件形式化方法,越來越多的軟件使用PAR方法來開發(fā)關(guān)鍵的可靠性部件。PAR方法的教育普及也變得越發(fā)重要。但是傳統(tǒng)的課堂教學(xué)存在一定的條件限制。已有的傳統(tǒng)教學(xué)中普遍存在理論與實(shí)踐脫離,教學(xué)效果不理想且教學(xué)范圍小等問題。Web Service技術(shù)是用于開發(fā)高度通用性和易用性與平臺無關(guān)和語言獨(dú)立的系統(tǒng)應(yīng)用程序。Web Service技術(shù)是能夠使得不同機(jī)器上的不同應(yīng)用程序無須借助其他第三方的軟硬件,就可進(jìn)行交互數(shù)據(jù)和應(yīng)用集成。使用Web Service開發(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ù)層為用戶提供單個(gè)服務(wù),邏輯處理層可以根據(jù)用戶的需求組合服務(wù)層為用戶提供不同的業(yè)務(wù)邏輯。傳統(tǒng)的教學(xué)軟件在服務(wù)端一般采用單一服務(wù)器模式,所以用戶請求和處理都在同一服務(wù)器上容易造成服務(wù)響應(yīng)不及時(shí)甚至無法提供服務(wù)等。本教學(xué)軟件采用Web Service技術(shù)來開發(fā),并且采用將不同功能模塊進(jìn)行劃分且部署在不同服務(wù)器上。使得用戶請求訪問時(shí)可以根據(jù)請求服務(wù)的不同而采用不同的服務(wù)器為用戶提供服務(wù)。Apache CXF是一個(gè)開源的Web Services框架,而Spring是一個(gè)輕量級的Java開發(fā)框架。使用CXF結(jié)合Spring框架開發(fā)Web Service可易服務(wù)器中部署Web服務(wù)。所以本文采用CXF和Spring框架來開發(fā)Web服務(wù),選取了PAR方法下的Apla語言作為教學(xué)語言,并且結(jié)合了Apla到C++轉(zhuǎn)換系統(tǒng)作為編程實(shí)踐平臺,完成了整個(gè)輔助教學(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é)軟件一般是多客戶端到單一服務(wù)器的交互模式。而通過Web Service技術(shù)、CXF框架和Spring容器等技術(shù)實(shí)現(xiàn)了從多客戶端到多個(gè)服務(wù)器的交互。從而增強(qiáng)系統(tǒng)的處理能力。
【關(guān)鍵詞】：PAR方法 Web Service CXF Spring Apla
【學(xué)位授予單位】：江西師范大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：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方法主要特點(diǎn)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服務(wù)協(xié)議堆棧17-19
• 3.5 Web服務(wù)架構(gòu)的優(yōu)勢19-20
• 3.6 面向服務(wù)的架構(gòu)20-22
• 第四章 PAR方法輔助教學(xué)系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)22-60
• 4.1 系統(tǒng)設(shè)計(jì)原則22
• 4.2 系統(tǒng)開發(fā)目標(biāo)22-23
• 4.3 系統(tǒng)功能分析23-24
• 4.4 體系結(jié)構(gòu)24-27
• 4.5 各個(gè)子系統(tǒng)的實(shí)現(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 部署與運(yùn)行調(diào)試49-59
• 4.6.1 部署49-51
• 4.6.2 運(yùn)行調(diào)試51-54
• 4.6.3 抽象數(shù)據(jù)類型學(xué)習(xí)案例54-59
• 4.7 本章總結(jié)59-60
• 總結(jié)與展望60-62
• 參考文獻(xiàn)62-64
• 致謝64-65
• 讀期間公開發(fā)表論文(著)及科研情況65

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

1 CMP(中國)咨詢有限公司 閆成印邋河北衡水中學(xué) 閆淑貳;應(yīng)用效果：現(xiàn)實(shí)與期望有點(diǎn)遠(yuǎn)[N];中國計(jì)算機(jī)報(bào);2007年

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

3 本報(bào)記者 姜乃強(qiáng)　萬玉鳳;堅(jiān)定信心沿著正確教改方向邁進(jìn)[N];中國教育報(bào);2008年

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

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

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

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

本文編號：503538