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

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

基于MDD的住宅报警系统开发模型分析*

应用 MDD方法,提出了住宅报警系统开发的模型分析方法,涉及开发过程中需求与分析2个阶段。功能性需求通过用例建模搭建。非功能性需求用自然语言文本表述。系统结构用 UML类图建模,系统行为通过状态图描述。建模实践说明,MDD方法是实时和并行控制系统模型分析的有效方法。     

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

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

基于UML的汽车制造工艺信息系统分析与建模

为实现汽车制造企业工艺信息网络化管理和车间生产集成化管理协同作业,采用统一建模语言UML对汽车制造工艺信息系统进行分析与建模,针对某制造企业生产实际的工艺工作流程,找出主要用例,确定系统边界,建立其活动图、分析类、顺序图,并给出建模步骤,对其进行总结和评价。     

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

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

UML和WebML在电子商务信息流系统建模中的应用

采用面向对象的方法，对电子商务系统信息流的建模进行研究，提出在电子商务信息流建模过程中采用UML和WebML相结合的方法，可以加速系统建模过程，提高效率。     

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

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

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

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

基于UML的C3I仿真测试环境建模研究

建模技术在复杂软件系统的设计、开发、集成和测试中起着重要的作用．C^3I仿真测试环境所面临的问题是如何准确、有效地描述系统元素间的交互并快速建立系统原型模型．文中从UML的需求、结构、行为和实现模型来描述C^3I仿真测试环境的基本结构、组成元素、系统和对象间的交互以及从模型到具体设计的实现，从而完成基于UML的C^3I仿真测试环境的系统建模过程．该建模方法已在某测试环境中实现，缩短了系统的开发时间并确保了系统的性能和可靠性．     

UML建模机制及其应用

文中以一个求职就业网站为背景，探讨了利用统一建模语言（UML）进行面向对象分析及面向对象设计，并对系统进行了功能建模，静态建模和动态建模，此建模语言能够形成统一的，标准的各种视图，如用例图，类图，状态图等，解决了领域专家。软件设计人员和客户之间交流的难题。     

UML-HLA协同建模方法及其在多车仿真中的应用

针对复杂实时大系统分布式交互性特点,通过综合对比UML与HLA的特点,提出了基于UML-HLA的列控系统建模仿真方法.在传统建模方法的基础上,采用提出的UML-HLA建模方法,从多个不同的角度建立多车仿真系统的分析模型,包括用例建模、活动建模、结构建模、交互建模和状态建模等,构建起高层体系架构资源库.在分析模型的基础上,建立多车仿真系统体系结构,得到多车仿真系统的设计模型.从性能和功能上对多车仿真系统进行了仿真验证.仿真结果表明:基于UML-HLA的建模方法具有较强的可交互性和可操作性,通过对原有线程机制与定时器控制机制进行优化,采用线程管理机制将原有系统的CPU占有率由50％降低至15％以下,定时器误差控制在0.02 ms范围内,满足了列控系统的仿真要求.     

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

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

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

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

形式化B方法和UML的结合

形式化B方法和UML存在很大的互补性,二者的结合研究对提高软件的可靠性有着非常重要的意义,文章通过从UML类图到B抽象机器的转换给出了一个UML和B方法结合的方法。     

发动机液力悬置系统不同建模方法研究与比较

目前用于发动机液力悬置系统建模的常用方法是解振动微分方程和列流体平衡关系式 ,本文针对惯性通道 -解耦式液力悬置 ,提出应用键合图理论进行系统建模和仿真分析。同时对两种常用方法的不足加以改进 ,并着重从系统结构的简化、力学模型和数学模型的建立过程、仿真结果与实验结果的对比等方面对这三种建模方法加以分析比较 ,讨论了键合图方法与其他建模方法各自的特点及其适用范围。     

高校机房排课系统的设计与实现

介绍了高校机房排课系统的设计思想和实现方法,重点阐述了系统体系结构的选择、排课算法的实现,并对系统设计中的难点问题给出了具体的解决方案。     

特种设备检测管理系统建模研究

通过UML工具分析了特种设备检测管理系统的功能需求，按NMVC模式，根据系统功能和业务流程抽象出了系统的对象类，建立了系统的检测记录录入和检测报告自动生成打印协同图，分析了系统的逻辑组件图．最后介绍了实现特种设备检测管理信息系统采用的技术和方法．     

气象信息发布业务自动化系统的数据库建模

介绍了一个典型的气象信息发布业务自动化系统的数据库建模，重点介绍了利用统一建模语言UML对该系统进行建模分析的过程．在建模过程中，应用了数据库规范化理论，减少了冗余数据，提高了系统的可维护性．最后提到了数据库建模过程中数据完整性、数据重构造等应该注意的同题．     

基于UML的车辆概念设计方案评价系统

根据车辆概念设计方案评价系统的功能需求，建立了性能评估指标体系。以UML为基础，运用可视化建模工具Rational Rose2002对系统进行分析和设计，分别建立了静态结构模型和动态行为模型。对系统建模的关键部分进行了描述。     

轮机系统图形化建模仿真支撑软件的开发

介绍了在实时仿真支撑平台上轮机系统图形化建模仿真支撑软件的开发过程以及一个应用实例.该软件利用Visual C 开发,按照面向对象及模块化思想设计,通过文件存储技术和UML技术实现软件开发,该软件具有仿真建模,模型程序自动生成和调试等功能.