从状态图到规则的转换

本文指出了在一个面向嵌入式实时系统软件的需求定义环境中,系统如何将可视的分层状态图转换为形式化规则的方法,以及转换后的规则如何存放于模板中和被显示,最后,本文也阐述了此工作的作用和意义。     

一种UML序列图到层次状态图合成方法

UML序列图和状态图从不同侧面简洁、明了地描述了系统的动态行为.层次性状态图有利于提高系统对象的可理解性和可读性.本文提出了一种自动的、递增的多个UML序列图到层次性状态图的合成方法,并集成在Rose工具中.     

UML—RT到一个实时多任务执行模型的转换

为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中，本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境，其次给出从UML-RT状态图转换到该设计环境可执行模型的具体方法，最后以一个实例说明了转换方法。     

UML模型到FSM模型的转换

通常可采用UML的各种图从Web应用不同方面对其进行建模.当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐.如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来表示、验证和测试.提出了基于状态迁移特性保持规则的UML到FSM的模型转换方法,特别针对UML状态图中的3种基本组成单元到FSM模型的转换,给出了各自的转换方法,并实现了原型工具UML2FSM.     

一种DEVS原子模型向UML状态图映射方法研究

离散事件仿真规范DEVS形式化的一个重要不足在于它缺乏一种标准的、图形化的描述形式。该文研究提出了一种将DEVS的原子模型与复合模型分别映射到UML的状态图和组件图的方法,并用形式化的数学方法对DEVS原子模型向UML状态图的映射过程进行了描述与构造。这种映射将DEVS规范融入到了UML的描述形式当中,将DEVS的抽象化描述与UML的表示能力、计算机处理能力结合起来,为两种建模形式的统一提供了一个可行的思路。该文研究的成果在C^4ISR系统总体方案规范化建模中得到了逐步的应用。     

基于UML状态图的测试技术研究

UML统一建模语言已经广泛应用于软件开发中,基于UML图的测试技术最近成为了一个研究的热点,其中对UML状态图的测试有着广泛应用前景。UML状态图是传统状态图的变体,增加了层次、并发、广播。所以UML状态图的测试方法建立在对传统状态机的测试方法的基础上,对层次、并发、广播的处理或转换。本文介绍了基于UML状态图的测试方法和测试工具的研究进展,最后讨论了未来可以研究的方向。     

基于多场景的状态图自动生成方法

在分析场景和状态图的基础上,首先提出一种从单个场景自动生成状态图的算法。遍历场景中的事件,将场景中对象的发送事件作为对象状态的动作,接收事件作为对象状态的转换,为场景中的每个对象都生成状态图。然后根据场景间的关系定义一系列的规则,将状态图合并得到对象完整的状态图。实验结果表明,该方法能有效减少状态的数目,提高了状态图的可读性和可维护性。     

基于状态图的坦克行为建模研究

在现代作战仿真中,坦克是重要的建模对象,其行为复杂往往导致建模困难.采用传统有限状态机建立的行为模型,由于存在大量的状态和状态转移,模型可读性差,易于出错.因此,研究基于状态图的坦克行为建模方法.首先介绍了状态图中的状态、事件和转移概念,并探讨了并行状态这一重要特征;然后对坦克的复杂行为进行分析,采用序列图描述坦克对象之间的交互行为;定义了坦克的四个并行子状态:侦察、机动、攻击和防护,以及作战仿真中的主要事件;通过细化状态,最终建立了状态图表示的坦克作战行为模型.该模型比较全面地描述了坦克的作战行为,较好地反映了作战行为的并行、异步特点,模型的逻辑关系清晰,有较强的可读性.     

基于UML活动图生成系统测试场景的方法

旨在研究运用统一建模语言（UML）活动图生成测试场景的方法。首先对UML活动图进行了形式化定义,确定了一系列覆盖准则。然后,根据覆盖准则制定活动图的一般处理思路,针对活动图中并发结构提出采用信号量和嵌套分割的方法进行处理。该方法有效控制了测试场景集的数量,为UML活动图的自动化测试提供了系统的、有效的、可行的方法。     

从UML类图到关系数据库表的代码生成方法

在介绍代码自动生成技术产生的背景及其应用的基础上，研究从UML类图到关系型数据库表的代码生成方法，其中包括UML类图到关系数据库表之间的映射规范和映射实现方式。最后分析了研究过程中存在的一些问题。     

UML的活动图及其在电子政务项目中的应用

软件开发的主要目的是为用户的实际问题提供解决方案，UML的用例图用于确保开发过程是围绕这些问题进行的。标准的用例图使用一般的文字描述事务流中的一系列动作。这些描述非常详细，但是它们很难理解，尤其是面对复杂且繁多的用例时。该文介绍另一种方式，用UML的活动图描述用例的事务流。     

UML2．0类图的一种形式化描述方法

UML类图是根据系统中的类，以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足，我们提出了基于时序逻辑语言XYZ／E来表示类图形式化语义的方法。通过对UML2．0类图元素及其特点的分析，找出类图元素的形式化描述规则，利用转换法实现了对UML2．0类图的XYZ／E形式化描述。     

基于UML时序图的系统运行时耦合度量方法

面向对象耦合性是软件质量重要的内部属性，该文分析了现有基于静态分析的耦合度量，以及其因继承和多态的使用而产生对运行时耦合度量的不足。提出了以用于系统动态建模的UML时序图为基础，定义了反映系统运行时的耦合度量指标，并通过实例验证了耦合指标定义的可操作性和实用性。     

一种支持MDA的UML类图到RDB模型的转换方法

UML被MDA用来描述各种模型,成为建模语言事实上的标准。但是,由于UML类图中缺少对关系数据库的实现的约束,使得类图转换到的关系数据库模型不唯一,不能充分体现设计者对数据库的设计意图。这不利于MDA中PIM模型和关系PSM模型的双向转换。为解决以上问题,本文提出一种通过添加构造型和OCL约束来扩展UML类图的方法,以加强类图中数据之间的关系及约束,使PIM模型能够唯一地转换到PSM模型。最后,采用QVT模型转换方法将扩展后的UML类图转换到关系数据库模型,并结合例子给出了UML类图的关联、继承、组合和聚合关系等到关系数据库模型的转换规则和方法。利用本方法可以使UML类图到关系数据库模型的转换结果唯一。     

基于UML类图模型的一致性检查方法

UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具。但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能。SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力。鉴于上述特点,通过从UML类图图元中抽取语义,用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现。根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题。     

下推自动机的状态转换图与下推自动机的化简

参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。     

UML顺序图形式化语义的研究综述

为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件系统可靠性的重要保障。结合近年来国内外对UML顺序图形式化语义的研究工作,分类阐述了各种方法,综合分析和比较了不同方法的工作机制和优缺点,指出了定义UML顺序图语义时需重点关注的问题。最后,对未来的研究工作与研究思路进行了梳理与展望。