基于B方法的UML类图形式化研究

统一建模语言（UML）是一种对软件密集系统进行可视化建模的语言,但UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。B方法是一种较成熟的软件形式化方法,具有精确性、无二义性等特点。文章用B符号来表示UML类图组成元素的语义及其映射关系,并给出了用B方法来描述UML类图的一种方法。     

基于UML和RUP的系统分析方法在SCADA系统中的应用

UML是可视化建模语言的工业标准,RUP是使用UML的最佳实践,本文结合UML和RUP对电气化铁道SCADA调度端系统作了分析。     

基于UML的城市公交评价系统建模

以开发城市公交评价系统为例,使用UML进行系统分析建模,以RUP软件开发思想为指导,提出城市公交评价系统的总体框架,论述了使用UML中的类图、用例图、时序图等构建公交评价系统的方法。     

UML状态图映射为Petri网模型的方法研究

UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。     

后台报货系统的建模与实现

针对传统的手工报货方式存在效率低下、容易出错等问题,设计开发了后台报货系统。基于B/S架构,使用JSP+Servlet+Java Bean开发框架,采用面向对象方法和UML建模技术,应用了单例、工厂方法、迭代器等几种设计模式,实现了快速报货、订单统计、商品管理等功能。示范应用表明:该系统能够满足公司的所有需求,节省了大量的人力财力。     

开放教育排课系统UML建模研究

采用基于UML的面向对象分析方法对开放教育排课系统进行建模设计,利用UML用例图和类图描述系统需求与系统架构。通过系统UML建模,进一步确定开放教育排课系统各功能实现的方法与技术,有效保证系统开发的质量和效率。     

基于UML网上选课系统的研究

本文采用统一建模语言(UML)对网上选课系统进行分析与设计,并提出了B/S三层结构体系的设计方案,并简单介绍了该系统的设计思想和功能模块。     

试论UML概念引入物流管理

现代物流的发展，从人的意识观念、规范制定一直到管理控制各个环节不是孤立存在的，而是需要它们共同发挥作用。同时使用UML不只是使用一种表示方法，更重要的是使用一种最先进的和最新的系统建模语言和面向对象的分析与设计方法。     

用VISIO实现在线考试系统的正向工程

结合一个基于.NET技术的WEB工程项目开发,阐述了利用VISIO实现正向工程的方法。在线考试系统开发成功的实践表明,利用VISIO建立UML模型并实施正向工程是切实可行的,此方法对同类系统的开发具有一定参考价值。     

基于UML的在线考试系统的设计与实现

采用UML建模技术对系统进行了需求分析与设计,给出了系统的主要用例图、顺序图、状态图。系统基于B/S架构、采用MVC模式和JSP+Oracle数据库技术,实现了在线考试和在线进行模拟测试,极大的降低了教师的工作量和人工阅卷的出错率,提高了工作效率。     

基于UML工作流模型的应用研究

分析了工作流模型的组成,根据统一建模语言的特点,形式化定义了为工作流过程建模的UML活动图结构以及建模规则,给出一个应用实例来描述建模过程并对模型作了详细分析。     

基于形式化方法的道口控制系统规范建模与验证

为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证. 基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用UML图方法并结合精化策略建立了系统各层的Event-B语言模型. 通过对不变式的证明义务进行证明,验证了系统设计中的安全、时间特性,检查出了需求规范分析中的缺陷,提出了增强系统稳健性的改进方案,修正了系统的设计原型. 最后,通过不变式冲突与死锁检验进一步确认了模型的正确性. 研究表明文中方法提高了形式化建模过程的准确性与层次性,且确认得出目前规范中存在列车驶入道口时不能确保道口出清的缺陷,证实了使用本文形式化流程可以验证道口控制系统的需求规范并形成可靠的设计原型,从而可提高铁路道口的安全性.      

基于UML的汽车零部件营销方案设计

阐述了UML的建模思想,分析了汽车零部件企业的技术营销案例,提出了以UML建模工具进行技术营销方案的设计,从而实现企业从“卖产品”向为用户提供技术解决方案的营销理念的转变,使企业得以在竞争激烈的市场中快速有效地捕捉机会.     

车站联锁系统行为验证与数据确认的形式化方法

车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性. 为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML （unified modeling language）图工具快速建立系统的初始模型,以自动生成模型文件并描述出各系统属性与事件流程;基于精化策略分层建模,对各层模型的证明义务进行定理证明,验证了系统的各项属性,得出可靠的通用功能模型;基于实例车站,对模型的公理进行了验证,同时实现了对联锁数据的确认;通过形式化验证过程,结合给定场景联锁数据的有效性确认,发现并纠正系统需求及分析过程中造成的潜在行为缺陷;通过功能仿真与验收测试,进一步确认了通用模型与联锁数据的正确性. 结果表明:本文方法提高了基于模型开发过程的准确性与层次性,验证了系统通用行为状态,且结合公理验证,实现了联锁数据的确认,并能基于模型进行功能场景仿真与测试,从而可进一步提高系统通用功能原型的可靠性.      

基于UML的物品租赁系统分析与设计

文章以物品租赁系统为例,对系统进行了需求分析,并详细地阐述了如何使用UML进行静态视图、动态视图的建模,最后总结出使用UML进行系统分析与设计的效益。