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

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

基于Petri网的UML形式化建模应用分析

UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点.Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能.结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析.排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的.     

基于OnTrac平台逆向分析系统的设计

探讨了软件逆向工程的基本原理,基于OnTrac平台设计了一个针对Python源代码的逆向分析系统,并简要介绍Reverse-UML系统以及核心模块。     

由序列图合成状态图

序列图和状态图对于描述和理解面向对象软件系统有着极其重要的作用。符合UML标准的序列图和状态图存在信息重叠，根据序列图提供的信息可以合成状态图。给出了在Rational Rose中由序列图合成状态图工具的实现。     

场景驱动的构件行为抽取

如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造一个环境,即极大包含环境,使得场景规约中所描述的所有行为可以从构件中抽取出来,并保留到该构件与其极大包含环境的组合中.同时,构件中的其他行为,即不在场景规约中的行为,被尽可能地舍弃.用接口自动机为构件的行为建模,并将用消息序列图描述的场景规约抽象为一组活动序列.构件的组合描述为接口自动机的乘积.给出了基于场景进行构件行为抽取的相关算法,并用一个实例对文中所述方法进行了说明.     

一个基于模式的快速查询构建系统

介绍了如何设计和实现一个基于模式的J2EE快速查询生成系统。系统主要有两种角色的使用人员,设计人员与用户。系统让设计人员定义面向用户的数据库信息,包括表、表的字段及其显示风格;系统允许用户从已设计好的界面模式中选择自己喜欢的界面风格,在用户定制完自己的查询内容后,系统采用广度优先搜索来判断查询的合理性,并用最短路径算法优化查询。系统极大地简化了基于Web的查询系统的开发和维护。     

基于Petri网的UML形式化建模应用分析

UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析。排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的。     

一种基于UML的软件开发方法

基于UML的软件开发方法－－UMLM是作者针对UML（统一建模语言，Unified Modeling Language）有非专业开发人员的特点提出的。特别适合于一些对软件开发各方法仅有简单了解的非计算机专业人员开发一些实用的小型应用系统。本文通过一个例子说明如何运用UMLM开发应用系统。     

属性序列图:形式语法和语义

在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用在工业实践中.属性序列图可以用来解决这种问题,它是一种基于场景的可视化的语言,容易理解并且具有较强的表达能力,能够克服当前工业中常用的符号中存在的诸多表达缺陷.为了能够完全清晰地描述和理解属性序列图,使其能够广泛地应用,给出其形式语法和基于B(u)chi自动机的形式语义,并进行了实例研究,讨论了其应用前景.     

基于UML序列图的测试方法

提出了一种基于UML序列图的面向对象类簇级测试的方法.这种方法根据序列图进行分析提取类交互信息和用户的输入数据生成测试用例,并根据序列图对代码进行插桩,构造测试模块;最后测试驱动器执行测试模块得到测试结果. 该方法也支持UML2.0 中为序列图添加的新特征.