基于Smart Client的PAR方法遠(yuǎn)程教學(xué)系統(tǒng)的研究.pdf

1、軟件的可靠性差和開發(fā)效率低一直是困擾軟件產(chǎn)業(yè)界的兩大難題，軟件開發(fā)的形式化與自動(dòng)化方法被認(rèn)為是克服這兩大難題的有效方法。PAR方法就是一種簡(jiǎn)單實(shí)用的軟件形式化方法。在開發(fā)過程中充分利用PAR方法的自動(dòng)轉(zhuǎn)換特性，能夠有效的節(jié)省應(yīng)用程序開發(fā)過程中編寫和調(diào)試代碼的時(shí)間，減少軟件測(cè)試過程，提高系統(tǒng)的開發(fā)效率。因此，有必要通過遠(yuǎn)程教學(xué)平臺(tái)進(jìn)行PAR方法的推廣和普及。 然而，傳統(tǒng)的遠(yuǎn)程教學(xué)平臺(tái)多是基于B/S的結(jié)構(gòu)，這種結(jié)構(gòu)自身存在技術(shù)缺陷，

2、在此基礎(chǔ)上開發(fā)的遠(yuǎn)程教學(xué)軟件無法滿足PAR方法教學(xué)的要求。針對(duì)這些缺陷，本文引入了Smart Client（智能客戶端）結(jié)構(gòu)，以此為基礎(chǔ)設(shè)計(jì)了一種新的遠(yuǎn)程教學(xué)系統(tǒng)的模型?；赟mart Client的遠(yuǎn)程教學(xué)系統(tǒng)能夠?qū)AR方法更直觀的展現(xiàn)給學(xué)習(xí)者，提高學(xué)習(xí)者學(xué)習(xí)PAR方法的興趣，有助于學(xué)習(xí)者規(guī)范地設(shè)計(jì)出高質(zhì)量的代碼。 本文對(duì)PAR方法及PAR平臺(tái)進(jìn)行了簡(jiǎn)要的介紹，深入研究了智能客戶端體系結(jié)構(gòu)及其在遠(yuǎn)程教學(xué)平臺(tái)中實(shí)際應(yīng)用方案。在

3、智能客戶端體系結(jié)構(gòu)的支撐下，以PAR方法作為主要教學(xué)內(nèi)容，結(jié)合建構(gòu)主義等學(xué)習(xí)理論，提出了一個(gè)多層次多組件的軟件框架模型，并給出了系統(tǒng)關(guān)鍵功能的部分實(shí)現(xiàn)代碼。 本研究提供了解決傳統(tǒng)遠(yuǎn)程教學(xué)平臺(tái)弊端的新途徑，并使形式化軟件開發(fā)方法得到了很好的推廣和應(yīng)用，是PAR方法應(yīng)用研究的延伸，也是國(guó)家自然科學(xué)基金項(xiàng)目“基于PAR方法的算法設(shè)計(jì)形式化和自動(dòng)化研究”（項(xiàng)目編號(hào)：60273092）的理論成果在程序設(shè)計(jì)教學(xué)實(shí)踐中的具體應(yīng)用。 本

4、研究主要做了如下創(chuàng)新： 1、從提高軟件的生產(chǎn)率和可復(fù)用率的角度出發(fā)，本文提出了一個(gè)多層次多組件的軟件框架模型。系統(tǒng)模型中的每一層都可以進(jìn)行獨(dú)立的設(shè)計(jì)與維護(hù)。 2、引入的Smart Client技術(shù)可以解決傳統(tǒng)的遠(yuǎn)程教學(xué)系統(tǒng)所存在的弊端。 3、嘗試將PAR方法的一系列程序自動(dòng)生成軟件整合為該教學(xué)系統(tǒng)的組件，并通過ClickOnce實(shí)現(xiàn)這些教學(xué)組件的無接觸部署。 4、設(shè)計(jì)了具有離線操作功能的智能客戶端應(yīng)用程序