基于MUL的高等院校教务管理系统设计与实现

摘要

高等院校管理的核心工作是教务管理，教务管理系统的特点是工作量庞大、工作复杂、规律性。通过先进的IT技术实现对高等院校的工作的统筹管理，是提高高等院校学校教务管理工作水平、工作效率的有效途径。随着高等院校教务工作的不断改革，教务管理系统的需求不断变化和增加使得教务管理系统日益复杂，软件工程技术和管理问题亦日益突出，有必要对教务管理系统进行系统研究。
　　UML(统一建模语言)具有良好的语法、语义，以图形化的方式进行建模的语言。UML不仅能够适用于软件工程领域的不同开发阶段，从系统的需求分析、业务流程的分析以及系统的测试，同时也能够适用工业领域等能够以面向对象方式描述的任何类型的系统。本文针对高等院校教务管理系统开发中遇到的难题以及UML模型验证方面存在的不足，做了如下几点主要工作：(1)针对高校教务管理不断变化的需求，采用UML建模语言，对教务管理系统进行系统分析和设计。通过UML用例图，清晰描述出教务管理系统的参与者、系统的功能性需求，从而获得到整个系统的整体结构及系统的主要功能；通过时间顺序图对教务管理系统中业务逻辑处理流程。(2)结合模型检测思想，对构建的教务管理系统进行了形式化验证，把建立起来的顺序图模型进行了模型转化，将其转化为对应的时间自动机模型，再在模型验证工具UPPAAL上对模型进行了验证。(3)用.NET平台中的相关技术实现整个系统，得到一个能够实际运作的高等院校教务管理系统。

目录

文摘

英文文摘

插图索引

附表索引

第1章 绪论

1.1 研究背景

1.2 研究目的和研究意义

1.3 国内外研究现状及发展趋势

1.4 研究内容和研究思路

第2章 高等院校教务管理系统的开发平台与关键技术

2.1 面向对象和UML

2.1.1 面向对象设计方法

2.1.2 UML概述

2.1.3 UML模型验证

2.2 NET平台开发技术

2.2.1 C#开发语言

2.2.2 WCF技术

2.2.3 SOL Server 2008和LINQ技术

2.3 C/S和B/S架构比较

2.4 本章小结

第3章 基于UML的高等院校教务管理系统的模型构建及验证

3.1 教务管理系统的业务需求分析

3.1.1 教务管理系统的可行性研究和分析

3.1.2 教务管理系统的实现目标分析

3.1.3 教务管理系统的业务需求分析

3.2 教务管理系统的模型构建

3.2.1 教务管理系统的用例建模

3.2.2 教务管理系统的顺序图建模

3.2.3 教务管理系统的部署建模

3.3 教务管理系统的模型验证

3.3.1 模型验证工具UPPAAL

3.3.2 教务管理系统的模型验证研究

3.4 本章小结

第4章 高等院校教务管理系统的体系结构设计和模块实现

4.1 高等院校教务管理系统体系结构和技术路线

4.1.1 软件体系结构设计

4.1.2 硬件体系结构设计

4.1.3 教务管理系统技术路线

4.2 高等院校教务管理系统模块的实现

4.2.1 登陆界面实现

4.2.2 班级管理模块的实现

4.2.3 学生管理模块的实现

4.2.4 查询统计模块的实现

4.2.5 系统管理模块的实现

4.2.6 数据管理模块的实现

4.3 高等院校教务管理系统测试和效果分析

4.4 本章小结

结 论

参考文献

致 谢