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

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

云制造资源服务化封装与服务发现研究

为屏蔽制造资源的复杂性和异构性,实现异地、异构的制造资源整合与共享,向用户提供统一资源服务调用接口,分析云制造资源池业务流程和云制造资源组织模式,并提出以模块化的方式描述资源管理信息.在此基础上,构建制造资源的本体语义模型,使用OWL(Contology Web Language for Services),进行形式化描述;使用描述模版库和资源—服务映射器,实现资源服务化封装操作的简单化、自动化和规范化;使用OWL-S对制造云服务进行形式化描述,提供简便的服务注册、发布操作.采用基于语义相似度的服务搜索和匹配方法,并将云制造服务语义细分为功能语义、服务质量语义、数据语义和执行语义,使服务匹配快速、准确.     

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

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

符合民机适航标准的形式化方法研究

描述了形式化方法的定义、目的、作用和软件开发流程。以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式化建模,通过形式化分析证明模型的完备性和一致性。以发动机油量周期计算需求为例,通过Event-B形式化方法对需求进行形式化建模,通过形式化分析发现需求模型的缺陷。对民机适航标准形式化方法相关的三份补充文件进行了解读,对采用形式化方法进行民机软件开发具有指导意义。     

飞行员操作程序的形式化描述

本文提出用状态转移表这种形式化方法描述飞行员操作程序,并在此基础上开发了POP测试用例标准解生成软件。用形式化方法描述飞行员操作程序,可以向系统软件设计者提供完备的、一致的和严密的软件需求规范,可用软件工具进行自动处理。     

一种基于UML活动图模型的系统测试方法

UML活动图是基于UML开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件系统测试过程中的一个重要的信息来源.提出了一个基于UML活动图的场景测试方法,给出了生成基本流和备选流的原则,对传统场景法进行了改进,避免了测试场景集数量爆炸.最后重点结合一个实例对该方法进行了论述.     

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

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

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

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

基于本体的机场安全热点特征分析方法

针对民用机场热点特征识别与分类需求,在Protégé中构建机场热点的顶层概念框架并描述逻辑(DLs)表达,引入对机场安全热点在不同层面形式化的描述,建立机场安全热点领域本体,以Fa CT++推理机将热点按不同特征分类推理。该方法的意义在于为机场热点特征识别信息化和热点分类协同工作的全过程提供了一定的语义支撑,管制员可以直观、全面地掌握热点区域状况。     

基于知网的软件故障案例语义表示方法

为解决采用静态框架描述故障案例存在的问题,提出一种基于知网的软件故障案例语义表示方法.通过分析案例的语义匹配准则,给出表示方法的具体语法描述规范.在此基础上,结合实际案例,分析软件故障领域中实体、事件、属性和属性值4类义原及其相互关系,并用KDML语言进行统一描述.实验表明,与传统基于关键字的模糊匹配方法相比,采用基于...     

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

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

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

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

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

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

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

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

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

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

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

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

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

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