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

论文摘要

教务管理是学校管理的核心工作，其工作的复杂性、综合性客观上要求高超的现代化管理手段。通过计算机教务管理系统实施学校教务工作的综合管理，是提升学校教务管理工作水平，促进学校管理进步的有效手段。随着高校对教务管理系统的需求不断增加，教务管理系统日益复杂，软件工程技术和管理问题亦日益突出，就有必要对教务管理系统进行系统的分析设计与建模。UML(Unify Model Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言。UML适用于以面向对象技术来描述任何类型的系统，而且适用于系统开发的不同阶段，从需求规格描述直至系统完成后的测试和维护。计算机软硬件系统日益复杂，如何保证其正确性和可靠性成为日益紧迫的问题，UML本身又不具备形式化验证功能。在提出的诸多理论和方法中，模型检测简洁明了、自动化程度高。本文针对教务管理系统项目开发过程中遇到的难题和UML模型验证研究方面的不足，做了如下几点主要工作:(1)针对高校教务管理的不断变化的需求，本文采用UML建模语言对教务管理系统进行系统分析和设计。通过UML用例图清晰地描述出教务管理系统的参与者、系统的功能性需求，从而获得到整个系统的整体结构及主要功能；通过顺序图来描述教务管理系统中业务逻辑处理流程。(2)本文结合模型检测思想，对构建的教务管理系统进行形式化验证。首先，把建立起来的顺序图模型进行模型转化，将其转化为对应的时间自动机模型，然后在模型验证工具UPPAAL上对模型进行验证，直到模型验证通过为止。(3)最后用.NET平台中的相关技术实现整个系统，得到一个能够实际运作的教务管理系统。

论文目录

• 摘要
• Abstract
• 插图索引
• 附表索引
• 第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 SQL 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 本章小结
• 结论
• 参考文献
• 致谢