教学课程资源库 更多>>

关键词： 形式化方法   形式化建模   形式验证   Event-B方法   Event-B图模型   基于Event-B图的图形化建模方法   欧洲混合三级列车控制系统  

摘要： Event-B方法是由Event-B形式化建模和Event-B形式化验证两部分组成的形式化方法,Event-B形式化建模是使用Event-B形式化语言描述系统需求的过程。Event-B建模中包含了以精化为特色的建模方法,使得大型系统的建模可以逐步实现。然而,传统建模方法并不能解决Event-B建模中长期面临的建模过程难以理解、模型维护和修改困难、模型阅读困难等问题,当前主要从Event-B建模方法和Event-B模型的改进去解决Event-B建模中面临的这些问题。本文基于Event-B模型提出了Event-B图模型,将Event-B模型表示成具有图形化结构的Event-B图模型,且本文基于Event-B图模型提出了基于Event-B图的图形化建模方法,基于Event-B图的图形化建模方法为Event-B建模提供了从需求分析到模型建立整个建模过程的图形化分析和建模方法。同时本文证明了Event-B图模型和Event-B模型的等价性,从等价性上保证了Event-B图模型的形式化验证。相比于将系统描述成Event-B模型,将实际系统表示成Event-B图模型具有更多优点,比如Event-B图模型的建模过程更易于理解、具有图形化结构的Event-B图模型直观性更强和模型结构更加清晰、Event-B图模型更易于维护和修改等等。本文基于ERTMS设计标准,针对Hybrid ETCS-3控制协议,提取Hybrid ETCS-3控制协议的需求分析,并采用基于Event-B图的图形化建模方法完成了Hybrid ETCS-3控制协议的形式化建模和验证,利用Hybrid ETCS-3控制协议的形式化建模和验证结果判定Hybrid ETCS-3控制协议的安全性和可靠性并得到判定结论,对列车控制系统升级中的安全性和可靠性验证具有一定的借鉴和参考意义。

关键词： 结构化设计   道路桥梁设计  

摘要： 我国经济的高速发展离不开交通运输业支持,交通运输业在我国经济发展、社会进步方面都扮演着举足轻重的地位.道路桥梁设计在整个交通道路建设中至关重要,为了促进道路桥梁建设行业的发展,需要从最基本的道路桥梁设计优化工作做起.在工作中,常见的方法是结构化设计模型构建法,这是当代道路桥梁设计中的新型设计理念之一,为道路桥梁结构的优化提供了保障.因此,为了使交通系统建设不断完善,加强结构化设计在道路桥梁设计中的应用研究有重要的意义.

关键词： 发票管理   信息管理   税务管理   信息系统   UML建模  

摘要： 随着计算机技术的飞速发展,对我们生活、都带来了巨大的改变。目前,企业管理信息化已经成为各企业不可缺少的组成部分。发票管理是企业管理很重要的一部分,规范的发票管理是树立诚实信用的企业形象、扩大企业规模、提升企业管理水平的重要基础,对企业自身发展具有重要影响[1]。只有做好发票管理工作,才能降低企业经营管理过程中可能出现的风险[6]本文首先就企业在发票的应用和管理上出现的问题进行调研,对原有操作进行了详细的分析,总结出优化后的企业发票管理流程。结合业务的实际需求,用UML建模语言来分析描述各个阶段的设计思路。通过用例图和包图来体现功能需求。再者,通过缩略类图、实体属性图、实体类关系图,及实体的数据库表结构来描述数据需求。在本文最后,对主要完成的任务以及下一步计划进行规划。通过企业发票管理系统极大的提高了企业相关管理工作的效率,同时也提高了企业的信息化水平。系统的研究和分析对企业初期阶段建立符合自身实际的管理系统具有很大的参考价值。

关键词： 课外活动管理   活动过程管理   面向对象   UML建模   管理系统  

摘要： 随着经济不断发展,社会文明不断进步,人们对教育的需求也变得非常关注和重视。学校除了重点发展常规教育的同时,还根据学生的实际需求,不断扩大学生课外活动教育的发展力度。新会四中根据当前社会的发展,结合自身的实际,建立了一些课外活动兴趣小组,其中包括:书法、象棋、围棋、摄影、篮球、足球、乐器、合唱团等12个项目。目前,新会四中对于学生的课外活动管理还处于纸质化、EXCEL化的处理方式,各部门的沟通管理效率低下,处理周期长,迫切需要开发一套学生课外活动管理系统,以满足学生课外活动管理的系统化需求。论文首先在业务分析中通过对系统业务的调研,定义了业务问题,给出了职能分析,最后通过UML业务流程图表达了新会四中学生课外活动管理业务流程,并对现有的业务流程进行优化改进给出了优化业务流程图。功能分析中通过新会四中学生课外活动管理各部门角色的分析,给出系统的主要使用者,并通过UML用例图划分了系统的主要功能模块,最后通过UML包图给出了系统的功能框架。数据分析中通过UML类图缩略图的形式对系统功能模块中实体进行了数据分析,给出了实体类的主要属性,根据属性给出了数据库表结构。最后,对论文所做的工作进行总结,对以后进一步改善新会四中学生课外活动管理系统进行展望。

关键词： 高职院校   软件工程   项目教学法   小型图书馆管理系统  

摘要： 《软件工程》是计算机学科及相关专业的核心课程之一。高职院校的《软件工程》教学内容理论性较强,学生难以理解和掌握。以小型图书馆管理系统的开发为实例,探索项目教学法在《软件工程》教学中的具体应用。将《软件工程》相关理论与项目的开发实践相结合,引导学生在实际项目开发的实践中理解并掌握软件工程的相关理论和方法,探索《软件工程》课程教学的新思路。

关键词： 教师管理信息系统   UML建模   .NET技术  

摘要： 教育事业的发展是一个地区稳定发展的基础，因此教育方面的改革需长久进行，日积月累的改变。在全新的社会可持续发展进程中，培养学校的师资是重中之重，所以现在的首要任务就是提高老师从事教育行业的积极性，提升学校的整体素质，从而使学校的教师团队有着更专业的、更明确的发展方向。国外的教育发展历程中教师管理系统通过互联网技术，能够及时进行更新，同时操作效率高，教师信息维护方便。但是在我国的教育行业领域中，利用互联网技术与教育相结合并没有完全渗透，所以本篇论文主要研究目的就是通过利用Internet技术，以此研发设计一个新型的教师管理信息系统，从而提升教师的工作水准，使教师教育行业发展更加全面。　　课题对某区域的教师管理的情况进行详细了解后，为了解决当前教师管理行业中所存在的管理不完善等其他问题，研发设计了一个基于.NET技术的教师管理信息系统。在系统的研发过程中，提出了教师信息管理的主要需求，利用UML技术进行了用户需求的建模，分析了系统的主要功能，包括：教师信息管理、变动管理、综合查询以及系统管理等四大功能，同时也对系统的非功能需求进行了描述。在对系统进行设计描述过程中，本文主要从表现层、数据层以及业务逻辑层等方面进行了系统的架构设计，同时也介绍了系统的主要功能，完成了数据库的设计。最后本教师管理信息系统采取C#语言完成系统的实现工作，在实现完成过程中，该系统选择SQLServer2014数据库技术来进行系统各项子功能的查询操作，提高了整个系统的信息数据处理效率，同时经过系统测试以此证明了该系统的可靠性，也解决了数据共享不方便等问题。　　本教师管理信息系统在完成研发后，已经在某学校进行了正式运行，在运行过程中，能够很好地提升了学校的教师管理工作进程，解决了教师信息数据共享不便的问题，总体上取得了非常不错的成绩，达到了研发本系统的目标。

关键词： UML技术   毕业设计   选题系统   建模技术  

摘要： 为了能够让本科毕业设计选题实现自动化,同时加强学生设计分析开发软件的相关能力,有效避免结构化模型存在的问题。在此提出基于UML建模技术,采用Rose工具对毕业选题系统建模进行分析研究。同时利用ASP技术进行开发和研究,完成系统的可视化表达,并且可以构建毕业选题系统所需的例图、类图以及状态图等,有效的提高系统的开发效率。

关键词： 电子设备工厂   维修管理系统   SQLServer数据库   UML建模   B/S结构  

摘要： 伴随着经济社会的高速发展，计算机与互联网发展迅速，现在大部分操作都可以通过系统来管控。先进的信息技术颠覆了大众的观念，使得该技术在对老旧产业的调整和数据的使用方面作用更加显著。当下，全球的工业基础设施建设的监控和维护体系，主要有以下意图：1.利用全球数据交流方式提高其共享程度，从而能够随时监控设备的动态;2.调整设备监控方法，将独立的监控转成聚集式统一监控维修的方式，从而尽可能的降低成本，提高维修效率，从而达到高度的资源交流和共享;3.调整维护模式，即从事后处理变为事前预测维修，利用该设备先前工作情况来判断和决定其维护模式。　　电子设备工厂维修管理系统的建设采用“整体性全局规划、分步骤、分阶段实施”的大体原则，主要将系统分为了项目的需求分析、项目的设计、项目的实现、与最终的项目测试与实施上线等步骤;通过分析了整个电子设备工厂维修管理系统的作业流程，可以得到如下：系统管理、维修管理、维修任务管理、备件管理和维修设备管理五大功能模块;系统开发人员使用***、SQLServer、UML建模和B/S结构等技术完成系统开发，同时，按照之前的系统需求分析来对系统进行了功能测试与非功能测试，最后，按照计划对电子设备工厂维修管理系统进行了验收工作。　　如今，电子设备工厂维修管理系统已经正式上线并使用到企业中去了，其具有很好的友好性，操控性。另外通过快速有效的数据整理大大提高了工厂维修管理的效率，整个流程完整快速。与其他信息化子系统无缝集成，实现信息共享，不产生信息孤岛。参考生产设备的工作状况进行随时调整;将设备维修管理系统与现代信息技术进行结合，参考资源共享、资源采集共享等方式来优化资源配置，达到高效率的利用，降低重复投资的几率。