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