學習網(wǎng)格的構(gòu)架、設(shè)計與實現(xiàn).pdf

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

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

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