基于UML的电力调度管理信息系统的设计与实现

在分析了UML的建模机制的基础上，以UML为工具进行电力调度管理系统的建模设计，给出了设计过程中的用例图、类图和交互图，并在C／S和B／S模式相结合的方式下，开发出了电力调度信息管理系统的软件。     

基于ATL引擎的UML到Simulink模型转换方法研究

针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink／Stateflow的模型转换方法,建立UML状态机元模型、Simulink／Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为嵌入式软件开发提供了技术支持。     

航天中心软件的一个领域工程方法和模型

软件复用被视为提高软件开发效率和产品质量的有效途径。研究和实践表明，针对特定领域的软件复用容易取得成功。本文给出了一个基于UML2．0和体系结构视图、针对航天中心软件特点的领域工程建模方法，具体分析和设计了相应的一系列领域工程模型，它们可以成为航天中心软件复用的“核心资产”，为未来的各个应用系统开发提供有力支持。     

基于UML的教务管理系统模型分析

介绍了在统一过程模型的基础上应用UML进行系统分析、设计，建立系统模型的简洁方法。文中通过对一个教务管理系统的建模过程，运用UML语言的图形表达方式，从需求分析，到详细设计，及类与类之间的消息传递关系，给出了该方法的应用细节，并对该方法进行了验证。实践表明，在基于统一过程模型体系结构为中心的建模方法指导下，应用UML语言丰富的可视化表达元素，可以清晰、快速地定义面向对象的软件系统模型。     

基于OPN和UML的导航装备维修建模方法研究

探讨了一种基于面向对象Petri网与UML模型的系统层次建模方法,结合UML和Petri网分析方法的各自优势,首先利用面向对象Petri网模型描述和分析地面导航装备维修保障系统的动态特性,然后按照一定的映射算法将Petri网模型转化成UML模型的状态图和顺序图,描述地面导航装备维修系统组织结构和系统的静态特征。最后验证了这种方法在地面导航装备维修保障系统建模应用中的实效性、科学性。     

基于UML的航空发动机仿真建模研究

面向对象建模技术是建立可重用和扩展灵活的航空发动机仿真软件的有效途径。本文论述了应用可视化面向对象统一建模语言(UnifiedModelingLanguage)建立航空发动机仿真软件模型的方法和过程,首次运用UML表示法中的用例图、类图、顺序图和活动图描述了发动机仿真软件模型,并用C++编程实现了仿真软件中发动机模型类库、算法类及图形界面类,在此仿真平台上成功的实现了某双轴涡扇发动机的稳态仿真和动态仿真。结果表明,UML是建立扩展灵活的发动机仿真软件的有力工具。      

基于UML的业务流程建模及到BPEIAWS的转换

IBM、Microsoft和BEA于2002年联合提出业务流程执行语言（Business Process Execution Language for Web Services，BPEIAWS或BPEL，后更新为WSBPEL）是用于在不改变Web Service正常运行的情况下，将多个Web Service集成起来创造出新的业务模型和业务流程。但是开发BPEL应用是一项繁琐而枯燥的任务，业务流程建模和BPEL开发之间并没有建立直接的关系。在对UML和BPEL深入学习的基础上，提出通过构造型和键值方法扩展活动图，并采用扩展模型对业务流程建模，最后定义了UML模型到BPEL的映射。利用图形化方式开发BPEL业务流程具有开发速度快和易维护等优点。     

利用Rhapsody进行UML串口通信的设计与实现

针对嵌入式系统下串口通信,引入I-Logix公司的Rhapsody开发工具和UML（统一建模语言）,采用流行的软件开发模式,设计并实现了嵌入式系统下的串口通信。通过嵌入式串口实例的实现,阐述了UML的建模、设计和验证的可视化的开发方法,解决了嵌入式系统下基于UML模式的串口开发问题,对于UML模式的嵌入式系统开发具有重要的参考价值。     

UML在图书馆管理系统建模中的应用

以图书馆管理系统项目的开发为背景，探讨了UML在图书馆管理系统中的应用问题，在对系统进行需求分析的基础上，采用CASE建模工具构建了系统的用户需求模型、对象结构模型、行为模型和实现模型。     

基于UML的可执行模型实现机制研究

模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和严格描述模型行为从而实现模型的验证。为了解决这个问题,提出一种UML模型验证的方法,其核心是xUML的状态图,xUML是UML的增强子集,拥有精确的语义。并在分析Rhapsody可执行框架OXF的基础上,设计并实现了一个模型可执行框架。最后通过一个模型执行的例子验证了该框架的可用性。     

一种基于UML的面向对象需求分析方法

 提出一种实用的基于UML 的需求分析及其建模方法, 以活动图模型来表达业务模型, 以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑, 以用例表达系统需求, 讨论了需求分析及其建模的过程概念, 方法实施的构造算法。该方法已经在空间天文望远镜系统需求分析中得到成功应用。     

A Modeling Language Based on UML for Modeling Simulation Testing System of Avionic Software

With direct expression of individual application domain patterns and ideas,domain-specific modeling language(DSML) is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language(UML) 2.2,a kind of DSML is presented to model simulation testing systems of avionic software(STSAS).To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain co...     

MDA在海航对海作战仿真中的应用

海军航空兵对敌海上舰船的进攻战斗(对海突击作战),是海军进攻作战的主要样式之一．本文通过分析航空兵对海突击作战的特点,依照模型驱动体系结构(MDA)的思想,使用统一建模语言(UML)描述了对海突击作战所涉及的红蓝双方的兵力构成模型、兵力部署模型等,提出了该系统的平台独立模型(PIM)；基于这些模型,讨论了如何使用MDA来构建对海突击作战的仿真软件系统。最后,使用MDA方法,构建了对海突击仿真系统。该系统现已投入实际使用。     

基于UML的电子商务系统设计

随着互连网的日益普及 ,越来越深刻而广泛地影响到人们生活的方方面面。电子商务作为互连网世界中的一颗璀璨的明珠 ,将从根本上改变几千年来形成的传统商业模式 ,充分体现现代科学技术给人们生活带来的便利。UML是一种定义良好 ,易于表达 ,功能强大 ,且适应广泛的建模语言。文章介绍了UML定义的 5类、共10种模型图 ,给出了构建电子商务系统的步骤 ,对其应用进行了评价和展望。     

基于扩展的UML活动图的质量工作流建模

本文使用了UML类图表达了工作流参考模型,统一了UML活动图与工作流过程模型的概念,并根据工作流的概念扩展了UML活动图,弥补了活动图的不足,并以实例说明。     

顺序图的形式化方法描述

UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数学理论,按照抽象机的方式理解系统.为了使UML表达的语义更加明确,同时发挥形式化方法的优势,采用B方法对UML中的顺序图进行描述.     

Petri网在制造系统建模与仿真中的应用

依据面向对象的Petri网的理论,给出了制造系统的建模过程,最后将统一建模语言(UML)融入到制造系统的建模与仿真中,通过实例进一步阐明了Petri网在制造系统建模与仿真中是如何应用的。     

UML在航空电子系统中的应用研究

UML是使用最广泛的面向对象建模语言,它是信息技术的蓝图和详细描述系统结构的方法.象在非航空电子系统一样,UML在航空电子系统中也得到了普遍应用.不同的公司对UML在航空电子系统中的应用进行了不同的扩展.但是,OMG(Object Management Group)没有把任何一种扩展作为标准.本文通过应用研究对 IBM Rational的 B.Selic提出的 UML/RT进行扩展,将它应用到航空电子系统中,并且详细说明扩展的意义和结果。