基于B方法的学生行为百分考核系统的设计.pdfVIP

2013 年 8 月 宁波 职业技术 学院学报 Aug，2013 第 17卷第 4期 JournalofNingboPolytechnic Vol|17No．4 基于B方法的学生行为百分考核系统的设计 梁 昊 (江苏联合职业技术学院 扬州商务分院 图书信息中心，江苏 扬州 225127) 摘 要 ：高校学生人数 的不断增加使得构建学生行为百分考核系统成为学生管理的必要举措 ，系统构建中引 入了B方法的概念，将传统UML语言与B方法相结合，利用Java语言结构结合SQLServer数据库，设计了学 生行为百分考核系统，同时阐述 了部分代码在系统中的作用 。结果表明，系统的正常运行能够不断提高学生管 理的信息化水平和教师的工作效率 。 关键词 ：B方法 ；行为百分考核；系统 中图分类号：TP317．1 文献标识码 ：A 文章编号：1671—2153(2013)04一O099—03 0 引 言 合构造、二元关系 、函数 、广义交和并 、有限性 、自 然数等操作基础之上的。使用相对简单且运用人 随着高等教育的逐渐普及 ，高校学生人数的 们所熟悉的符号表示法 (广义代换)来表达状态的 不断增加 ．学生的德育工作作为学生管理的重要 转换 3『]。形式化方法的一个重要研究 内容是形式 内容之一，得到越来越多的高校的重视。长期以来 规约 ，即用具有精确语义的形式化语言书写的程 考核方法都是人工记录与统计 ，而且仅把结果进 序功能描述4【】，使程序和程序的规格说 明处于统 行留存，详细考核过程和考核事项不作永久性记 一 的数学框架之下 ，减少了出现语义错误的可能 录进行保存 ．且人工记录的数据不便于统计与分 性 。 析。使得考核工作收效甚微_1]。学生量化考核的内 涵是 ：管理部门根据学校培养 目标和管理政策 ，给 2 UML与B方法的结合 学生个人行为特征赋予一定量值 ．并依据规章制 精确的软件需要软件质量作为保证 ．由于严 度和考核细则．对学生的个人表现在量值范围内 谨 的数学语义缺乏是 UML语言 的缺点之一 ，因 进行度量圆。因此 ，建立一套学生德育考核系统可 此 ，UML的使用对保证后续过程的一致性和准确 以有效提高考核效率 。同时推动校园信息化建设 性有 在信息服务于学生方面的应用 ，有利于对学生的 数学 信息化教育。为此系统开发人员一直都在尝试用 号表 不同的方法来设计可靠而又行之有效的学生德育 的抽 考核系统。 需求 规格 1 B方法简述 验证 B方法是面向模型的形式化方法。建立在命题 式化 演算 、谓词演算 、等式和有序对 、基本和派生 的集 约 。 收稿 日期 ：2013—06—07 作者简介：梁吴(1986一)，男，江苏扬州人，江苏联合职业技术学院扬