动静态信息相结合的UML2．0序列图逆向生成方法

符合UML2.0标准的序列图在UMLl.x序列图的基础上添加了控制流信息.为此,本文提出一种基于动静态信息相结合的UML2.0序列图逆向生成方法.该方法首先利用目标程序运行时的动态信息产生基本的方法调用序列,然后依据静态的程序依赖图对其进行补充和调整,在其上添加方法间的逻辑关系,使产生的序列图带有控制流信息.这种方法生成的序列图符合UML2.0标准,可以很好地辅助用户理解目标程序.     

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

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

逆向工程中的UML序列图抽象技术

研究了逆向工程中序列图的抽象问题。以逆向工程分析工具RER的开发为背影,针对其逆向生成的进程间交互序列图和进程内部交互序列图,引入并实现了面向交互的抽象、面向类的抽象、面向进程模块的抽象和面向模式的抽象四种序列图抽象方法。同时,使用Rational Rose的扩展机制,将以上功能无缝嵌入到Rose开发环境中。从而使逆向工程分析工具RER具备了在可视环境下,以不同抽象层次、不同侧面观察和分析序列图的功能。     

一种改进的序列图逆向生成方法研究

文章在原有工作的基础上,对已有的序列图逆向生成方法进行了改进,把反复进行的迭代判断从逆向生成的核心算法中分离出来,同时提取用户关注信息,形成一个单独的预处理模块,改进的生成方法大大简化了序列图逆向生成的核心算法。迭代判断预处理模块提取的关注信息,可以辅助用户估计问题规模,并且可以使用户按特定的关注方式进行序列图的逆向生成。实验证明该方法是有效的。     

利用UML-RT序列图支持基于事务的SoC系统级功能验证

SoC基于事务的验证方法面临的一个重要问题是如何设计验证系统级复杂交互行为的事务测试序列。基于场景的序列图是设计人员捕获系统级功能规约的良好方法。本文提出了一种利用UML-RT序列图捕获SoC各个IP核之间的通信协作行为,为基于事务的验证建立高层规约,指导系统级测试序列生成的方法。我们自行开发了一个基于构件的事务验证环境SoC-CBTVE,并在该环境中利用本文的方法对一个典型的SoC设计进行了验证和分析。实验结果表明,利用UML-RT序列图能够捕获SoC系统级IP核之间的复杂通信行为,有效支持SoC系统级功能验证。     

软件逆向工程中动态剧情抽象新方法

研究了逆向工程中动态剧情的模式发现以及抽象问题。提出并实现了动态剧情中交互模式的自动发现、交互层次的自动恢复以及基于类图的设计模式识别，并实现了以此为依据对动态剧情的抽象。同时，使用Rational Rose的扩展机制，将以上功能无缝嵌入到Rose开发环境中，从而使逆向工程分析工具XDRE具备了在可视环境下以不同抽象层次、不同侧面观察和分析目标系统行为的功能。     

选择序列图创建UML动态模型

讲解选择序列图创建动态模型的理由以及生成序列图的流程,以创新基金管理信息系统用户登录、录入票据和检索票据为例,给出了使用UML创建序列图的步骤和方法。     

多机并发系统中通信模型分层抽象的方法

针对多机并发系统的复杂性,为了辅助用户能从多个角度和层次全面地理解并发系统,就需要逆向产生出能够反映软件系统框架结构的高层架构。基于此本文以进程为边界,提出了一种分层抽取多机并发系统通信模型的方法。此方法基于反射和开放编译的植入机制来获取所需要的动态信息,在此基础上运用分层抽象的策略,分别从系统、节点、进程三个层次对多机并发系统的通信结构和设计结构进行逆向恢复,最后对该方法进行系统的实验研究。结果表明,分层抽象所得到并发系统的通信模型能够正确、有效地反映系统设计时的高层架构关系。     

PSC2GS:一个基于属性序列图的监控器生成工具

在开放和动态环境下,系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患,可能最终导致软件失效。基于监控器的软件运行时验证技术已经成为开放环境下侦测软件失效行为的基本方法,该工具采用了一种基于博弈论的从Property Sequence Charts(属性序列图)中自动生成监控器的方法。监控器被赋予多值语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控以及违例。监控器可以提供足够的信息用来预测系统失效。正文中将描述一个名为"PSC2GS"的工具,该工具具有设计属性序列图、基于属性序列图生成博弈结构、基于博弈结构生成Aspect Oriented Programming(面向方面编程)代码(监控器)等一系列功能。PSC2GS提供的完全图形化的前端接口使软件设计者可以不用处理任何特殊的文本或者逻辑公式。     

带时间约束的UML序列图的分析工具

统一建模语言(UML)是一种多用途的可视化建模语言,它可用于软件系统的规约、可视化的构造和建档.UML序列图描述了交互对象间的协作,如在实时和分布式系统中通讯实体间的信息交互.与其它的规约和设计过程类似,UML序列图的规约也易出错,所以对它进行分析是很有必要的.文章描述了一个对带时间约束的UML序列图进行分析的工具.     

基于UML实时系统的分析和设计

介绍了统一建模语言的最新版本UML2及应用UML2进行实时系统设计的作用及意义.探讨了UML2中用在实时系统设计中的概念.结合一个使用UML2为家庭安全系统设计的例子,着重分析了系统的静态结构和动态行为,通过类图、顺序图、状态图等UML图描述系统的方法从整体上对系统建模,说明实时系统分析与设计过程.使用UML分析和设计系统能够提高软件设计的效率和质量增强软件的维护性和复用性.     

Bifurcation study of neuron firing activity of the modified Hindmarsh–Rose model

In this paper, the effects of different parameters on the dynamic behavior of the nonlinear dynamical system are investigated based on modified Hindmarsh–Rose neural nonlinear dynamical system model. We have calculated and analyzed dynamic characteristics of the model under different parameters by using single parameter bifurcation diagram, time response diagram and two parameter bifurcation diagram. The results show that the period-adding bifurcation (with or without chaos), period-doubling bifurcation and intermittent chaos phenomenon (periodic and intermittent chaotic) can be observed more clearly and directly from the two parameter bifurcation diagram, and the optimal parameters matching interval can also be found easily.     

基于UML的销售系统业务流程分析与仿真

以销售业务流程为例,借鉴面向对象的系统分析方法,结合流程重组理论,对基于UML的业务流程分析方法进行研究。首先通过用例图来描述系统功能,给出系统总体框架;然后运用状态图、活动图和顺序图详细描述系统的动态行为以及对象间的交互关系,通过分析业务流程的合理性,可得到有效的系统流程重组方案。最后通过SIMPROCESS仿真工具模拟重组前后的业务流程,通过对仿真结果的分析,表明该方法有助于业务的优化和运作效率的提高。     

UML模型和Java代码之间的一致性检测方法

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的.     

基于UML的模具企业动态联盟框架设计

单个模具企业设计与生产能力不足问题的解决途径是建立动态联盟,而动态联盟建立过程的关键是系统模型.因此,采用UML统一建模语言设计了一个模具企业动态联盟框架模型.系统结构为分层结构;系统功能包括基本信息管理、加盟企业信息管理、生产信息管理、分析控制管理.系统的静态模型使用静态结构图、组件图和用例图描述,系统的动态模型使用序列图、活动图等描述,数据库模型使用类图描述,并给出了模具企业动态联盟各成员与市场机遇目标的依赖关系.     

基于UML与有色Petri网的RBC切换场景的建模方法研究

针对仅有一台车载电台正常的RBC(无线闭塞中心)切换场景,探讨了一种基于UML模型和有色Petri网(CPN)的系统建模方法;首先利用UML模型的顺序图及状态图描述RBC切换流程和过程中车载设备的状态转移,再从UML状态图中提取信息构造相应的有色Petri网模型,最后利用CPN Tools的状态空间工具分析模型的有界性、家态性、活性和公平性,得到的模型动态行为符合RBC切换功能的要求;论文验证了该建模方法的有效性,为完善RBC系统设计提供依据。     

煤焦化企业物资管理信息系统设计与实现

结合软件工程原理和面向对象技术,对煤焦化企业物资管理信息系统进行分析和设计,基于UML实现了系统建模,给出其用例模型、静态模型、动态模型,重点阐述了系统模型的用例图、类图、时序图。实践证明,完善的系统模型提高了系统开发的效率。     

基于UML状态图的模型信息自动提取技术研究

UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为.在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法-基于LALR(1)文法和基于Rose的扩展接口的提取方法,并对两种方法进行了比较分析.自动提取模型信息技术提高了协议测试序列的自动生成效率.     

The READY Model: Patterns of Dynamic Behavior in REA-Based Accounting Applications

Abstract

The Resource-Event-Agent (REA) model has gained considerable attention in accounting literature. While REA denotes a data model, which represents only the static aspect of a system, the dynamic aspect has now been introduced as the scenario concept in a recently proposed REA ontology. Using the Unified Modeling Language (UML) sequence diagram—a popular method of showing interactions among objects—and building on the REA framework and the scenario notion, the paper presents the READY model to illustrate patterns of dynamic behavior in accounting scenarios.     

基于UML和MVC的精品课程网站设计

使用UML并结合MVC新方法设计精品课程网站,用UML用例图做需求分析,用UML类图进行系统静态设计,用UML顺序图进行系统动态设计,用MVC组件图设计系统总架构,通过PHP语言实现网站系统。用UML和MVC设计的精品课程网站逻辑清晰、容易实现、便于维护、具有可重用性