基于UML的任务空间概念模型动态行为验证研究

动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向.论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的.该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性.     

统一建模语言UML及其应用

UML是面向对象的统一建模语言，是面向对象领域的重要成果。它的内容包括UML语义和UML表示法两个部分。本文简要介绍了UML语义，表示法的内容，并总结了它在某些重要领域的应用。     

民用飞机飞行控制软件开发方法探讨

通过对民用飞机飞控软件的重要性及复杂性的分析,结合目前机载软件开发的现状,对软件开发过程中的一些问题进行了论述,特别是对民用飞机多通道飞控软件的开发方法进行了探讨,提出了应用UML建模语言对飞控需求进行描述以消除不同开发组对需求理解的歧义,采用中间件以提高程序的开发质量与效率的软件开发方法,为有关人员提供了参考.     

分布式三层结构应用系统的设计与实现

结合实例介绍了一个逻辑上三层、基于组件的分布式信息管理系统的实现过程 ,分析了系统开发的设计思想 ,给出了在UML模型下 ,应用系统的设计过程。结合分布式体系结构设计的可扩展、可重用、易维护等优点 ,讨论了应用系统的功能特点。     

工作流执行逻辑的实现

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

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

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

模型驱动的嵌入式系统设计

随着嵌入式系统设计周期越来越短,功能越来越复杂,越来越多领域的设计人员参与设计,市场需求导向致使需求变更越来越多,以传统文档形式的需求来驱动开发已根本不能满足时间和成本方面的要求。本文提出了采用可执行模型、动态需求规格和接口控制文档共同作用的驱动嵌入式系统设计方法,它能够较好地满足目前系统设计的要求。在文中,我们首先介绍了当前嵌入式系统设计中存在的一些问题,然后介绍了模型驱动设计的方法、语言和优点,并对动态需求规格和接口控制文档的执行给出了建议,最后得出模型驱动的嵌入式系统设计是一种行之有效途径的结论。     

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

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

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

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