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

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

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

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

顺序图的形式化方法描述

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

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

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

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

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

基于运行场景模型的测试用例生成和排序方法

大型民用飞机研制是一项多系统、多学科交联的复杂系统工程,民用飞机主制造商应在早期设计过程中进行需求的确认和验证工作,以找出设计中的缺陷,减少后续迭代设计成本,缩短设计周期,提高产品的竞争力。通过引入软件工程领域基于场景测试的方法,利用场景作为工具,以飞机在进近过程中触发TAWS模式1告警为实例,采用SysML活动图构建民机运行场景模型,基于场景模型生成测试用例,同时引入测试用例重要度对测试用例进行排序,用于指导后续的测试工作,为实现基于场景的需求确认和验证提供了支撑。     

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

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

装备保障系统配置管理模型

对装备保障系统分解结构进行了研究,分析了装备保障系统分解结构建立过程中的配置管理需求,抽象出了装备保障系统配置管理的范树模型,根据保障系统数据结构的特点建立了信息模型,利用统一建模语言(UML)中的活动图建立了保障系统配置管理的过程模型,并给出了基于飞机装备保障系统配置管理的实际简化案例,可以为保障系统自上而下的设计过程提供建模指导,对保障系统设计过程中多系列、多方案、多视图的繁杂产品数据配置过程进行有效的处理.     

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

UML统一建模语言,是软件分析设计中的标准语言,可用于软件分析、设计和实现的全过程.通过网上选课系统开发实例,介绍了如何应用UML的方法,设计和开发一个软件模型.实践证明,在基于RUP以体系结构为中心的建模方法的指导下,应用UML丰富的可视化建模元素,可以快速、准确地构建面向对象的应用模型.     

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

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

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

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

基于UML自动化立体仓库管理系统的建模方法

本文结合实例讨论了运用UML的机制为复杂系统建模的方法。建立了自动化立体仓库管理系统的分析模型，并给出部分用倒图、类图以及交互图。简述UML技术与软件复用的关系。     

基于RUP构建Web应用建模方法研究

Oracle9iAS是构建Web应用的理想平台，如何在Omcle9iAS平台上快速、有效地构建和部署Web应用有其内在的复杂性。通过对一个实际Web应用的建模过程，介绍了如何运用基于RUP应用UML，以及Oracle9i JDeveloper构建Web应用的方法。实践证明，在基于RUP以体系结构为中心的建模方法指导下，应用UML丰富的可视化建模元素，可以快速、准确地构建面向对象的Web应用模型。     

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

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

基于数据操作的航天测控软件测试复用模型

测试复用技术是提高软件测试效率和质量的重要技术手段,在分析航天测控软件行为模式的基础上提出了基于数据操作的航天测控软件测试复用模型,给出了测试用例搜索和匹配算法;以航天测控外测数据处理软件的可靠性测试为例给出了模型的具体应用。结果表明,基于给定模型的测试复用方法可提供该软件约65%的测试用例,有效提高了测试效率,所提出的模型和方法对专业领域软件测试效率和质量的提高具有一定的借鉴意义。     

可重配置的试飞模拟器软件构架研制

试飞模拟器介于工程模拟器和训练模拟器之间,兼顾着工程和训练两方面的任务.在试飞模拟器研制、虚拟试飞应用的基础上,提出了一套完整的可重配置的试飞模拟器软件构架方案,主要包括研究内容、开发环境、开发方法以及系统体系结构.依据此方案研制了一套飞行软件包,并通过虚拟试飞进行了验证.结果表明:可重配置的试飞模拟器飞行软件包克服了...