1、本論文首先分析了遠(yuǎn)程教育的發(fā)展現(xiàn)狀，指出現(xiàn)行遠(yuǎn)程教育在資源共享(消除信息孤島)、分布式、異構(gòu)性等方面的不足，從而提出了建立學(xué)習(xí)網(wǎng)格的構(gòu)想，并設(shè)計(jì)了學(xué)習(xí)網(wǎng)格的體系結(jié)構(gòu)、實(shí)現(xiàn)模型以及一個(gè)簡(jiǎn)單的原型系統(tǒng)。鑒于網(wǎng)格技術(shù)正日益成熟并成為關(guān)注的焦點(diǎn)，因此，如何利用網(wǎng)格技術(shù)建立一個(gè)合理可用的學(xué)習(xí)網(wǎng)格來實(shí)現(xiàn)遠(yuǎn)程教學(xué)對(duì)遠(yuǎn)程教育領(lǐng)域的研究有重要意義。 在建立學(xué)習(xí)網(wǎng)格系統(tǒng)過程中，本論文經(jīng)過體系結(jié)構(gòu)設(shè)計(jì)、UML總體設(shè)計(jì)、UML詳細(xì)設(shè)計(jì)、形式化描述和實(shí)驗(yàn)

2、原型系統(tǒng)實(shí)現(xiàn)等步驟，其中UML設(shè)計(jì)建模使用了用例圖來獲取用戶需求；使用序列圖、協(xié)作圖、類圖來對(duì)學(xué)習(xí)網(wǎng)格系統(tǒng)進(jìn)行動(dòng)態(tài)設(shè)計(jì)、靜態(tài)分析。然而，UML圖示存在二義性、前后不一致等不足，這樣需求分析、系統(tǒng)設(shè)計(jì)階段的錯(cuò)誤在軟件開發(fā)過程中會(huì)越聚越大，甚至形成災(zāi)難性的后果。如果我們?cè)陂_發(fā)過程中結(jié)合形式化描述方法，那些不足之處便會(huì)在設(shè)計(jì)階段較早的被發(fā)現(xiàn)，并得以糾正，從而避免其在以后設(shè)計(jì)及編程等開發(fā)過程中造成更大的不良后果。另外，在實(shí)際系統(tǒng)開發(fā)過程中，系統(tǒng)

3、設(shè)計(jì)人員形成的UML圖示不夠精確，使得系統(tǒng)編碼人員無法直接面對(duì)UML圖示進(jìn)行編碼，從而形式化描述架起了系統(tǒng)設(shè)計(jì)人員與系統(tǒng)編碼人員之間的溝通橋梁作用。學(xué)習(xí)網(wǎng)格系統(tǒng)作為一個(gè)基于面向?qū)ο笏枷朐O(shè)計(jì)的應(yīng)用系統(tǒng)，而Object-Z也正是基于面向?qū)ο笏枷氲?，從而本論文使用Object-Z對(duì)學(xué)習(xí)網(wǎng)格系統(tǒng)進(jìn)行形式化描述。在系統(tǒng)實(shí)現(xiàn)階段，本論文以用戶管理、課程編著模塊為例，基于網(wǎng)格應(yīng)用領(lǐng)域使用最為廣泛的GT3平臺(tái)，采用服務(wù)器/客戶端形式，在服務(wù)器端編制了若