教学课程资源库 更多>>

关键词： 形式化方法   行为时序逻辑   安全性   安全行为   安全转移系统  

摘要： 为提高安全性,一般利用密码技术,但系统运行过程的安全尚显不足,为此基于行为时序逻辑TLA提出一种安全转移系统模型。通过设置安全属性,构造安全行为,使得系统在运行过程中的每次转移都满足安全属性,从而提高过程的安全性。为此,定义初始安全态、安全转移条件、安全状态、安全行为、安全运迹和安全转移系统,并证明在安全转移系统中状态处处安全。安全转移系统中强调的是系统转移过程的安全性,从而增强了系统运行的安全。通过实例的运用表明面向过程安全的建模为提高系统的安全性是有意义的。

关键词： 控制系统   形式化方法   Event—B建模   RBC系统  

摘要： 为降低形式化建模的难度,本文深入研究了基于Event-B的开发框架,并结合控制系统中控制器与被控环境之间的交互特征,提出了一套基于Event-B的控制系统有序模块化建模指导原则,能够帮助设计人员在开发的早期更加深入地理解系统需求,获得清晰的建模思路和开发策略,为设计高安全性的软件系统提供保障.最后,应用该方法完成了RBC(区域控制器)系统的形式化建模,说明了该方法的实用性.

关键词： UML   建模   关系数据库  

摘要： 该文介绍了UML的基本概念、五大视图,阐述了UML类图作为数据库建模的方法,以产品生产管理系统作为案例分析了UML类与关系数据库表及表访问操作之间的映射方案。

关键词： 助学管理   信息系统   UML建模   软件开发   高等院校  

摘要： 随着经济的迅速发展，高等教育信息化要求越来越高，高等院校家庭经济困难学生人数逐年增加，学生的资助管理涉及的数据量也越来越大，形成了庞大的信息数据，传统的资助服务以及管理方式已难以满足迅速、准确、及时处理学生数据的需求，因而开发高校资助管理系统具有十分重要社会意义和价值。\n 本文详细阐述了高校资助管理系统需求分析，主要内容包括:学生基本信息管理、助学贷款管理、助学金管理、困难生业务流程分析和功能需求分析，并在第四章详细描述了学生基本信息管理系统、困难补助管理系统、助学金管理子系统、困难生管理系统、助学贷款管理系统、的设计。通过该系统可以实现学生信息规范管理、科学统计以及快速查询等功能，很大程度上减轻高校学生资助管理的工作量。

关键词： 工程项目   成本管理信息系统   需求分析   软件工程   结构化设计  

摘要： 随着信息技术的发展和通信工程建设项目成本的日益增长，许多通信工程建设公司的管理者意识到需要建立有效的项目成本管理信息系统去控制项目中的各项成本支出，使企业获得更多的利润。首先，本文介绍了广东南方通信建设有限公司通信工程项目成本管理信息系统的开发背景和研究的意义，对类似系统的应用现状进行了研究，阐述了论文的主要研究内容、作者的主要工作和论文的结构。在需求分析阶段，本文进行了详细的业务需求分析，画出了包括子项目成本预算申请管理、子项目成本预算审批管理、子项目成本预算支付进度管理、月度子项目成本支出申请管理、月度子项目成本支出审批管理、项目成本关闭申请管理、项目成本关闭审批管理和系统管理的业务流程图，并且根据业务划分进行了功能需求分析和数据需求分析。在功能需求分析中，本文给出了系统的顶层、一层和二层数据流图。在数据需求分析中，本文根据数据流图做出了相应的IPO图和数据字典。在系统设计阶段，系统将使用结构化的设计方法和使用B/S的架构。同时，本文进行了系统的总体功能设计，并且附上系统总体功能H图。在功能模块设计上，本文根据业务划分，做出了包括子项目成本预算申请管理、子项目成本预算审批管理、子项目成本预算支付进度管理、月度子项目成本支出申请管理、月度子项目成本支出审批管理、项目成本关闭申请管理、项目成本关闭审批管理和系统管理8大功能模块的设计，并附上相应的H图、IPO表和处理流程图。同时，本文根据系统存储信息、读取信息的需求，进行了相应的数据库设计，给出了数据库的E-R图和数据库表的设计。论文最后总结了本人的主要工作和论文的不足之处，并对后续工作进行展望。

关键词： 人民调解工作   信息管理系统   UML建模   数据建模  

摘要： 随着司法行政体制改革的不断深入，司法行政工作信息化建设成为未来发展的必然趋势。近年来，《全国司法行政工作“十一五”时期规划纲要》明确提出了“要大力加强司法行政系统信息化建设，努力提高司法行政工作现代化、信息化水平”总体要求;浙江省司法行政系统出台的信息化建设规划，强调“要加强信息化建设，形成网络，进一步拓宽应用领域，建立完善司法行政系统共建共享的电子信息资源库，建成完整的司法行政系统信息化体系”。全省各地司法行政系统的信息化网路建设初具规模并取得了一定的成效。我市社区矫正、律师管理、司法公证工作信息化建设逐步完善，从实际中使工作提质增效。我市人民调解工作量日益增长，调解案件日趋复杂，但相应的信息化建设相对滞后，仍存在着案卷格式不统一，年度审核机制陈旧，队伍建设不够规范等问题，严重影响了人民调解工作的发展。因此，针对我市人民调解工作的实际情况，结合规范调解程序、统一审核机制和数据报表统计等方法，研究设计了一套人民调解工作信息管理系统。\n 论文首先介绍了台州市司法局人民调解工作信息管理系统的研究背景，对所需要解决的问题进行了概述，讨论了项目的研究目的和意义，阐述了系统开发方法和相关技术;论文提出了系统的设计目标，对系统进行了详细的需求分析，包括业务需求、功能需求、数据需求和非功能需求，给出了系统的业务流程图、用例图和概念类图，进行了用例描述;在系统设计中，对系统进行了总体设计与模块设计，包括公文管理、数据报表管理等功能模块，给出了模块设计的功能结构图（包图）、类图、顺序图（协作图）和处理流程图，详细阐述了设计内容，并使用实体类图、E-R图和数据库表结构对数据库进行了详细设计;论文最后对研究的内容进行了总结，阐述了本人的主要工作，指出了论文存在的不足，并对进一步的工作进行了展望。

关键词： 客户管理系统   系统设计   数据库   数据挖掘   UML建模   需求分析   电信企业  

摘要： 在商业客户目标市场经营工作中，存在经营现状掌握不清楚，查询客户各类综合信息无统一界面，营销政策针对性不够，客户维系不精细，客户收入波动无法提前预警，竞争信息了解不易等问题。开发莆田电信商业客户管理系统就是为了解决这些问题，它本质上是为了对莆田电信商业客户市场进行精确化营销、客户服务维系、营销政策优化、商客产品优化、竞争应对而设计。\n 首先，本文介绍了“莆田电信商业客户管理系统”的选题背景和研究目的，并阐述了论文的组织架构和本人所做的主要工作。其次，本文对涉及本系统的一些软件建模技术做了大概的介绍，并对本文所采用的开发方法和建模技术进行了描述。接着本文对系统进行了详细的需求分析，包括业务需求分析、功能需求分析和非功能需求分析。业务需求分析中对涉及系统的业务流程给出了活动图;功能需求分析中给出了系统的用例图，并对用例进行了详细描述;在非功能需求中主要从环境、操作性及界面友好性和安全三方面进行需求分析。然后在需求分析的基础上，对系统进行了总体设计、功能模块设计和数据库设计，给出了系统总体结构包图，并采用包图、类图、顺序图阐述了本文所要设计的功能模块内容;采用实体属性图、实体关系图和数据库表结构来进行数据库的设计。\n 最后，本文对研究的内容进行了总结，指出了论文中存在的不足，并对下一步的工作进行了展望。

关键词： 规划审批管理系统   UML建模   数据库设计   软件开发  

摘要： 在本文中，通过研究义龙新区规划审批的发展现状，了解城市规划审批管理体制机制的不足，深刻分析了义龙新区规划审批管理革新的重要意义，叙述了本次设计研究的主要内容和所做的主要工作。在设计中融入了软件工程的系列思想，结合面向对象的系统开发方法和[1]UML建模技术，根据用户的实际需求设计系统的整体架构，深入学习当前主要的实现技术和设计方法，实地参与业务操作，不断了解的业务相关知识，对义龙新区城市规划审批管理系统进行了业务需求、功能需求、数据需求分析。在业务需求分析中，作了业务描述，给出了系统的业务流程图，在功能需求分析中，作了业务功能描述，给出了系统用例图，并对每个功能模块中的重要用例进行了描述，在数据需求分析中给出了类图缩略图。在系统设计中，进行了系统体系结构及功能架构设计[2]，并对每一个功能模块进行了功能结构图（包图）、类图、顺序图及核心处理流程图等详细设计。在数据库设计中，详细分析了各实体的属性，通过给出各实体的属性图、系统的E-R图及数据库表，对数据库进行了详细设计。最后对论文研究的内容及所做的工作进行了详尽的总结，点明了本次设计存在的不足并对下步工作进行了展望。

关键词： UML建模   .net平台   自助语音导游系统   LBS信息模块  

摘要： 在公司业务中针对景区的合作项目中，传统的语音导游机的靠热点，需要纯人工在景区内填埋热点接收器，费时费力，维护成本高。由此引入了基于移动互联网、GPS和基站定位技术的自助语音导游系统，此系统上线后，可以基本代替原有语音导游产品完成语音工作，能够提供很高质量的自助语音导游服务。\n 立项后，整个团队经过一年多的研发、落地、反复修正，成功完成了公司自助语音导游项目的软件开发任务。在这个过程中，对景区的需求以及以往的传统的语音导游服务进行调研、分析，对项目进行模块划分和功能设计，服务器端采用c#语言进行开发，数据存储采用了SQL server2005，客户端部分目前支持IOS版本和Android版本，分别采用了object C、java语言进行开发。产品设计采用面向对象的方法，对系统需求进行分析和设计，采用了UML（统一建模语言）为设计工具，需求分析部分，通过对需求的梳理，对主要功能进行了分析，形成了用例图和用例文本，并从性能、安全、可扩展、稳定等角度对本系统的非功能型需求进行了描述。架构设计部分，描述了本系统的总体架构，并进行了说明，系统总体上采用服务器端、客户端的CS的方法，服务器端后台系统采用传统的分层设计方法，系统按照功能进行划分出若干子功能，并给出了功能结构图，本文分析了系统数据库设计的过程，涉及分解后的各模块及所用到的实体、实体的属性以及实体间的关系，并根据这些实体及关系画出ER图，并以部分表结构进行举例。在领域模型的部分，本文介绍了各个模块所涉及到的概念类、概念类的属性以及概念类彼此之间的联系。本文在详细设计部分，依次论述了导游产品营销模块、景区信息管理模块、景区周边LBS信息模块、客户端信息推送模块的设计与实现。\n 借助本产品，用户在景区打开手机客户端在任何想收听语音导游的时刻，就可以欣赏优美动听的语音导游了。同时，景区和企业联合推出的此项服务，降低了人员成本，企业产生了更大的效益。

关键词： 面向对象   UML建模   数据建模   图书管理系统   高等学校  

摘要： 随着互联网的普及，信息技术的飞速发展，馆际信息互联互通的需求也在日益增加，早期的图书管理系统已经无法满足目前图书管理工作的需要，重新设计一套适应当前发展并能够具有开放性和扩展性的图书管理系统已经成为开发图书管理系统软件的工作重点。\n 本文以图书管理作为系统研究对象，对学院图书管理的业务流程进行调研和整理，从而分析并设计了一个图书管理系统。文中首先根据已有图书管理的发展现状及背景阐述了本图书管理系统开发的目的、意义，并引出本研究内容;其次，简要介绍了系统分析和设计的相关方法和技术，如UML技术和数据库技术等。然后利用系统活动图对系统主要业务进行描述，主要包括图书入库、借阅归还处理、报失处理、作废处理以及添加和删除读者信息等业务。再以南昌大学图书管理为例，分析了学院图书管理的主要业务和功能需求，主要包括读者借书和还书、图书管理员管理、图书管理等相关业务功能;读者借书、还书及个人信息管理;系统管理等相关功能，并且分析了系统的性能需求。最后，通过UML类图、包图、时序图以及内部活动图对系统各功能模块进行了详细设计。\n 该图书管理系统采用增量式的开发模型，将系统分成读者管理、图书管理、统计查询管理和系统管理等功能模块，并可以支持B/S查询，大幅度地提高了图书管理工作效率。