B方法下SCORM标准企业网络培训平台的设计与开发

摘要

论文通过对国内企业人力资源培训的分析，网络学习标准SCORM的研究，对软件工程、形式化方法、人机界面设计、计算机网络技术、软件开发方法、数据库技术等的学习基础上，构建出一个完整的、具有实用价值的企业网络培训系统。在项目实践基础上探求SCORM标准的应用研究以及形式化B方法与UML的结合。
　　 本论文分为四个主要部分：
　　 第一部分分析了目前国内外企业网络培训的发展和现状，并通过对网络远程教育的国际标准SCORM中的内容聚合模型和运行时间环境的研究，得出了课程(SCO)与平台(LMS)之间实现数据通讯的原理和方法。
　　 第二部分结合UML视图转化为B形式化需求的方法，完成了对系统的需求分析。形式化方法B用抽象机对软件进行描述和设计，它支持严格的数学定义和证明，可以保证模型的正确性和无歧义性。UML是面向对象的建模技术，提供灵活快捷的分析与设计方式。两者的结合保证系统完整性、二义性和不一致性。
　　 第三部分提出了适用于企业的网络培训系统模型，并对模型中的主要组成模块进行了详细的分析。主要模块有用户管理模块、课程管理模块、考试管理模块、作业管理模块、学习评价模块和学习交流模块。
　　 第四部分通过使用了Microsoft公司最新开发工具ASP.NET并结合AJAX技术，WEB2.0人机界面设计开发出一套企业网络培训平台。平台结合对WEB2.0中结构设计、交互设计和视觉设计的分析，设计出了具有亲和力的界面，进而提高了人机交互的人性化。完成了SCORM课程包导入。内容清单文件imsmanifest.Xml的分析。完成了SCORM Data Model与API适配器的通信的代码实现。
　　 本论文提出的基于SCORM标准的企业网络培训平台的设计思路和开发方法，可以解决企业学习资源的重用性和兼容性的问题，进而使企业获得更加丰富的学习资源。同时基于B的UML形式化需求的方法能够解决UML在软件开发过程中存在的不足。该系统的设计思路和开发方法对于网络远程教育系统的开发具有一定的指导作用。

目录

文摘

英文文摘

声明

1绪论

1.1设计和开发的背景

1.2企业网络培训的发展状况

1.3研究的主要内容和成果

2相关标准、方法和技术

2.1 SCORM标准的概述

2.1.1 SCORM产生的背景

2.1.2 SCORM概述

2.1.3 SCORM内容聚合模型

2.1.4运行时间环境(Run-Time Environment)

2.2 Ajax技术

2.2.1 Ajax概述

2.2.2 Asp.Net的Ajax技术

2.3形式化B方法与UML

2.3.1 B方法和UML简介

2.3.2 B与UML的结合

2.3.3 UML类图静态模型的形式化

3 企业网络培训平台需求分析

3.1基于B的UML形式化需求分析

3.2 B方法的软件开发过程

3.3系统的UML类图表示

3.4系统UML类图的B方法表示

3.5本章小结

4企业网络培训系统设计

4.1网络培训系统应用模型

4.2网络培训系统软件模型

4.3主要模块设计

4.3.1用户管理模块

4.3.2课程管理模块

4.3.3考试管理模块

4.3.4作业管理模块

4.3.5学习评价模块

4.3.6学习交流模块

4.4数据库设计

4.4.1数据库设计原则

4.4.2数据库的表设计

4.4.3系统在数据库操作方面的优化

4.5本章小结

5系统开发实现

5.1系统开发环境与开发工具

5.2 WEB2.0的人机界面设计

5.3数据库访问层的实现

5.4 SCORM课程包导入

5.5基于Ajax的SCORM Data Model和API适配器通信

5.6本章小结

6结论和展望

6.1本文工作总结

6.2下一步工作展望

参考文献

致 谢

论文发表情况及参加科研项目、学术会议