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

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

基于UML图书馆管理信息系统的分析与设计

统一建模语言UML是一种面向对象的建模语言,支持面向对象的软件工程,以其强有力的表达能力而倍受人们关注。本文研究了图书馆组织结构、功能及其工作流程,运用UML对LMIS进行面向对象分析、设计,实现了对象模型向关系数据库模型的转换,对开发设计图书馆管理信息系统有一定的借鉴意义。     

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

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

顺序图的形式化方法描述

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

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

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

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

为满足2000版ISO9000过程管理模式的要求,使用工作流技术解决过程控制问题成了企业质量管理的一种需要.本课题用UML类图表达了工作流参考模型,统一了UML活动图与工作流过程模型的概念,并根据工作流的概念扩展了UML活动图.文末,利用扩展的活动图表达了质量管理中一个典型的过程--不合格品的控制过程.     

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

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

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

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

酒店区的豪宅、商务区的极至生活

近年来,在沈阳楼市持续火热的同时,一种被定义为"公寓式常住酒店"或"酒店里的公寓"的产品出现在了沈阳北站金融商业区的黄金版块上它就是皇冠国际酒店·行政公寓,自其推向市场以来,从产品质量和倡导的生活享受,就给人们一种"行宫"的感觉,成为了媒体和城市高层人士关注的焦点.     

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

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

基于UML的无人机飞控系统建模

针对无人机飞控系统功能及其复杂而又难以比较全面的描述,提出利用面向对象统一建模语言UML对飞控系统进行建模,可直观地描述飞控系统,并可以从不同角度较全面地描述飞控系统。首先简要介绍了飞控系统的原理和功能,在此基础上,利用UML例图、类图、协作图、顺序图、活动图,分别从整体、静态、动态角度描述了飞控系统。使用这种方法对飞控系统建模可应用在无人机系统仿真建模中,对无人机系统仿真建模具有积极的研究意义。     

UML在空天反导作战概念建模及仿真中的应用

针对空天信息直接支持反导作战问题,着重描述了统一建模语言UML在反导作战军事概念建模中的应用;详细建立了空天信息直接支持反导作战的用例图,顺序图,状态图等.最后结合空天反导作战系统给出其具体的仿真过程,证明提出建模方法的高效性.     

面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

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

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

基于UML的空空导弹仿真建模

采用统一建模语言对空空导弹仿真系统的建模过程进行了研究。通过用例图进行了空空导弹仿真系统的功能需求分析,采用包图和类图建立了空空导弹仿真系统的静态结构模型,给出了类包结构和类之间的继承和组合关系,对空空导弹仿真系统进行了功能分解。采用状态图建立了空空导弹生命期模型,给出了空空导弹从创建到销毁过程中的不同状态之间的转换关系。采用序列图对空空导弹发射后的动态行为进行了建模。最后采用C++语言对所建立的模型进行了仿真实现。     

工作流执行逻辑的实现

介绍了工作流技术及对象管理组织(ObjectManagementGroup,OMG)工作流管理设施的模型,采用统一建模语言(U nifiedModelingLanguage,UML)的静态类图分析了工作流执行中各个对象的联系和对应关系。在这个基础上,探讨了工作流的执行逻辑的实现,并给出UML的顺序图描述。