摘要：针对BIT(Built-In Test)技术在装备测试性设计与PHM(Prognostic andHealth Management)的应用需求,提出了基于状态图(Stateflow)的周期BIT(PBIT,PeriodicBIT)故障检测与虚警抑制仿真方法.分析了周期BIT的特性与虚警问题,给出了周期BIT的仿真原理.在加电BIT的基础上分析了周期BIT的仿真要素及其Stateflow对象的仿真模式,并实现了故障注入、干扰注入和虚警抑制措施的建模,最后给出了周期BIT建模仿真以及仿真输入数据设计流程.以某典型航电模块周期BIT为例,建立了电源板、干扰、周期BIT以及虚警抑制措施的Stateflow仿真模型,仿真结果显示该方法能有效地实现周期BIT故障检测与虚警抑制的动态逻辑过程仿真.

摘要：为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行了研究。该映射实质上是PIM模型的精化,其主要方面是分析模型和设计模型之间的转换。MDA使用UML来描述各种模型。UML是一种可视化的通用的面向对象的建模语言。UML顺序图主要用于需求分析,而状态图在系统设计阶段起重要作用。该文介绍了一种从UML顺序图中合成状态图的方法,合成的过程基本上是自动完成的,只需要很少的用户交互,从而为PIM模型的精化提供有力的支持。

摘要：作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法.本文针对UML2.0状态图模型,对状态图至Petri网转化方法进行了研究,并提出了将状态图转换为Petri网的算法.

摘要：着重讨论了CAD协同设计工作流管理中的工作流表示模型 ,提出了运用状态图的形式来表示工作流的模型 ,并详细描述了其定义、特性、建模方法及特性分析 。

摘要：本文讨论从状态图到PTL形式规范的转化方法.状态图是描述系统行为的半形式化的图形工具,但缺少精确的形式语义,PTL(投影时序逻辑)是一种具有离散的时间模型的时序逻辑,把状态图转换到PTL后可以使其具有精确的形式语义并能使用形式化验证方法来证明状态图所描述的系统的一些重要性质是否得到满足,同时可把系统的形式描述转换为Tempura程序进行模拟,从而提高系统设计的可信性.

摘要：统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件,从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。

摘要：MDA(modeldrivenarchitecture)是解决基于不同中间件系统的集成问题 .它将不同的系统都结构化成PIM (platformindependentmodel)和PSM (platformspecificmodel) ,并针对不同的实现技术平台制定多个映射规则 ,然后通过这些映射规则及辅助工具将PIM转换成PSM ,再将PSM不断求精直至形成最后的代码 .MDA中的模型转换有 4种 :PIM到PIM ,PIM到PSM ,PSM到PSM以及PSM到PIM .其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换 .UML是MDA的模型描述语言 ,因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持 .介绍了从一个顺序图转换成多个状态图的算法 ,并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法 .处于一个系统中的多个状态图不是孤立的 ,他们各自的状态转换是相互约束的 ,最后给出了组合多个状态图的方法 ,以及如何生成在同步约束下多个状态图的转换关系 ,并最终得到系统的状态图 .

摘要：缺陷追踪系统是软件开发中的重要辅助工具,它对于提高软件质量有很大的作用。主要研究该系统中最主要 也是最本质的部分,也就是对缺陷的追踪,即其动态部分。分析出了缺陷状态图,详细探讨了缺陷状态的变化情况, 结合实际工作介绍了如何灵活使用状态图及其对开发的影响,总结了类似系统的应用情况。

摘要：在自动化立体仓库管理与控制系统软件的设计中 ,会遇到如何管理各种形式的出入库存取方式和如何有效地使用货位的问题。以状态图的方法详细分析了现有的各种存取操作方式。通过合理的扩展 ,取得了包罗所有情况的出入库存取操作的货位状态转移图 ,从而得出具有实用价值的 8种出入库操作方式。

摘要：面向对象的开发方法是当前国内外流行的软件开发方法,而伴随着这种开发方法的日趋成熟,另1个重要产物是UML建模语言。作为面向对象的分析和设计阶段的建模工具,应用UML语言创建的模型可以生动形象的描述开发过程中的成果,成为各阶段开发人员交流的有效手段。UML语言可以建立9种模型,但这些模型中最重要的、最终的模型是类图。其他大多数模型都是为完善类图而创建的。本文将阐述交互图和状态图对类图的完善作用,以及其中的操作。