学习网格的构架、设计与实现

论文摘要

本论文首先分析了远程教育的发展现状,指出现行远程教育在资源共享(消除信息孤岛)、分布式、异构性等方面的不足,从而提出了建立学习网格的构想,并设计了学习网格的体系结构、实现模型以及一个简单的原型系统。鉴于网格技术正日益成熟并成为关注的焦点,因此,如何利用网格技术建立一个合理可用的学习网格来实现远程教学对远程教育领域的研究有重要意义。 在建立学习网格系统过程中,本论文经过体系结构设计、UML总体设计、UML详细设计、形式化描述和实验原型系统实现等步骤,其中UML设计建模使用了用例图来获取用户需求;使用序列图、协作图、类图来对学习网格系统进行动态设计、静态分析。然而,UML图示存在二义性、前后不一致等不足,这样需求分析、系统设计阶段的错误在软件开发过程中会越聚越大,甚至形成灾难性的后果。如果我们在开发过程中结合形式化描述方法,那些不足之处便会在设计阶段较早的被发现,并得以纠正,从而避免其在以后设计及编程等开发过程中造成更大的不良后果。另外,在实际系统开发过程中,系统设计人员形成的UML图示不够精确,使得系统编码人员无法直接面对UML图示进行编码,从而形式化描述架起了系统设计人员与系统编码人员之间的沟通桥梁作用。学习网格系统作为

论文目录

• 第一章 引言
• 1.1 现代远程教育发展现状
• 1.2 当今远程教育的不足
• 1.3 网格背景下的远程教育——学习网格
• 1.4 论文的主要工作
• 1.5 论文的安排
• 第二章 学习网格的理论基础
• 2.1 什么是网格
• 2.1.1 网格现状
• 2.1.2 并行计算与分布式计算
• 2.1.3 Web服务
• 2.2 用Web服务改善现有远程教育系统
• 2.3 Grid+远程教育=学习网格
• 2.3.1 为何要用网格技术
• 2.3.2 网格基础平台的选择
• 2.4 小结
• 第三章 学习网格的设计方案
• 3.1 体系结构的设计
• 3.1.1 五层沙漏体系结构
• 3.1.2 开放式网格服务体系结构——OGSA
• 3.1.3 学习网格体系结构设计
• 3.2 UML简介
• 3.2.1 UML基础知识
• 3.2.2 UML建模
• 3.3 使用 UML对学习网格建模
• 3.3.1 用例图
• 3.3.2 序列图
• 3.3.3 协作图
• 3.3.4 类图
• 3.4 小结
• 第四章 学习网格模型的形式化
• 4.1 为何要形式化
• 4.2 形式化语言Z及Object-Z
• 4.2.1 Z及Object-Z简介
• 4.2.2 为何选用Object-Z
• 4.3 学习网格模型形式化
• 4.4 小结
• 第五章 学习网格实验系统
• 5.1 平台介绍
• 5.2 开发工具
• 5.3 实验系统介绍
• 5.3.1 服务器端介绍
• 5.3.2 客户端介绍
• 5.4 小结
• 第六章 总结与展望
• 参考文献
• 致谢
• 攻读学位期间发表的学术论文目录