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

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

UML技术在储罐自动计量系统中的应用研究

通过对UML的分析来建立储罐自动计量系统的模型，并以系统的核心功能模块——自动计量为例建立其用例模型、静态模型和动态模型，并在Rational Rose2000环境下具体实现。     

自动协议逆向工程研究综述

全面梳理了该领域国内外相关文献,归纳分析了自动协议逆向工程的研究现状和发展趋势。为了更清晰地刻画不同方法的特点和比较异同,提出一种基于协议逆向工程输出结果的分类方法,将协议逆向方法分为侧重于协议格式提取、侧重于协议状态机推断、侧重于完整协议规范描述、侧重于其他输出结果四类,并据此进行分析和比较。基于目前的进展情况和进一步的问题剖析发现,复杂交互场景分析、链路层协议逆向、加密协议分析以及协议状态机优化等应作为自动协议逆向工程领域下一步的重点研究方向。     

基于反射植入的面向对象程序动态分析机制

随着软件系统的日益复杂，软件开发、维护以及进化的大部分工作和主要成本集中在对现有系统的理解上。逆向工程以支持程序理解为目标，通过分析目标系统，产生系统不同形式和不同层次的抽象表示，帮助用户从多个层面和角度理解目标系统。为了开发一种实用的逆向工程工具，文中在深入分析了反射、开放编译、植入等技术的基础上，提出了一种基于反射植入的面向对象程序动态分析机制，其主要思想是通过反射植入软件触发器获取目标系统的动态信息，这些信息由信息收集机制收集整理并保存到Cau-Graph，最后从Cau-Graph抽象出符合UML标准的动态模型图。通过项目实践发现，这种机制是可行的。     

自适应软件的环境模型及实现

随着软件及其运行环境的复杂性和不确定性的上升,软件要求能够及时地感知环境的变化,并做出相应的反应。由于环境具有开放、动态、不可控、不可预测等特点,为了实现软件对不同环境的自动感知和适应,环境被独立建模,并定义为能够自维护和自演化的一级实体。为了简化软件与环境之间的交互,环境被实现为一个层次结构,为软件提供面向应用的抽象资源到环境资源之间的自动映射和配置机制,从而提高了环境和软件的复用性,同时也减轻了软件开发人员的负担。     

用Rational Rose实现图书管理系统的建模设计

本文在介绍了UML和Rose的特点后，以图书管理系统为例，通过用例图实现用户的需求，时序图和交互图表达系统的对象和类之间的交互，实现图描述系统的类及类之间的关联、添加系统中类的属性和操作以及用Rose生成类代码，从而建立一种通用的图书管理系统模型。     

基于反射植入的面向对象程序动态分析机制

随着软件系统的日益复杂,软件开发、维护以及进化的大部分工作和主要成本集中在对现有系统的理解上.逆向工程以支持程序理解为目标,通过分析目标系统,产生系统不同形式和不同层次的抽象表示,帮助用户从多个层面和角度理解目标系统.为了开发一种实用的逆向工程工具,文中在深入分析了反射、开放编译、植入等技术的基础上,提出了一种基于反射植入的面向对象程序动态分析机制,其主要思想是通过反射植入软件触发器获取目标系统的动态信息,这些信息由信息收集机制收集整理并保存到Call-Graph,最后从Call-Graph抽象出符合UML标准的动态模型图.通过项目实践发现,这种机制是可行的.     

面向对象软件的逆向工程

在现代软件工程中，逆向工程是软件维护、软件重工程、软件重用和软件重结构中的起点，它本身是一个设计知识发现、知识抽象的过程，而面向对象软件和传统软件相比有着自己的语言特点和不同的设计知识内容．通过对面向对象程序中知识类别和逆向工程过程的分析，总结出了面向对象软件逆向工程的基本知识内容，并以此为分类线索，综述了目前此领域中具有代表性的技术、工具和研究方向．最后指出了本领域将来发展的方向．     

基于UML的工程项目合同管理信息系统设计与实现

运用基于UML的面向对象开发方法以及JSP技术,对B／S模式的工程项目合同管理信息系统进行了设计与实现。分析了工程项目合同管理的信息需求,利用Rational Rose对系统进行建模,给出了静态结构和动态行为模型,并予实现。     

基于程序源代码的设计模式自动发现技术研究

基于程序源代码的设计模式自动发现是软件逆向工程的重要技术组成。以此为研究对象,提出了一种通用的设计模式自动发现框架,对该框架中的代码理解、模式表示、匹配算法等关键技术进行了研究。并在该框架下,分析比较了国际上三种先进解决方案在以上各技术方面的实现方法和各自特点。并对该项技术的发展前景进行了展望。     

Shimba—an environment for reverse engineering Java software systems

Shimba is a reverse engineering environment to support the understanding of Java software systems. Shimba integrates the Rigi and SCED tools to analyze and visualize the static and dynamic aspects of a subject system. The static software artifacts and their dependencies are extracted from Java byte code and viewed as directed graphs using the Rigi reverse engineering environment. The run‐time information is generated by running the target software under a customized SDK debugger. The generated information is viewed as sequence diagrams using the SCED tool. In SCED, statechart diagrams can be synthesized automatically from sequence diagrams, allowing the user to investigate the overall run‐time behavior of objects in the target system. Shimba provides facilities to manage the different diagrams and to trace artifacts and relations across views. In Shimba, SCED sequence diagrams are used to slice the static dependency graphs produced by Rigi. In turn, Rigi graphs are used to guide the generation of SCED sequence diagrams and to raise their level of abstraction. We show how the information exchange among the views enables goal‐driven reverse engineering tasks and aids the overall understanding of the target software system. The FUJABA software system serves as a case study to illustrate and validate the Shimba reverse engineering environment. Copyright © 2001 John Wiley & Sons, Ltd.     

基于UML的人力资源管理系统的分析设计

以人力资源管理系统（HR）为对象,利用Rational Rose建模工具,通过用例图、活动图、顺序图以及类图等分析设计模型进行分析设计,介绍了UML在实际项目开发中的应用。     

Strongest postcondition semantics as the formal basis for reverse engineering

Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be in a “legacy” or “geriatric” state. Changing architectures and improvements in programming methods, including formal methods in software development and object-oriented programming, have prompted a need to reverse engineer and re-engineer program code. This paper describes the application of the strongest postcondition predicate transformer (sp) as the formal basis for the reverse engineering of imperative program code.     

基于UML协作图的集成测试序列生成方法

随着软件测试自动化的要求,以及UML在面向对象软件开发领域中的广泛应用,基于UML的面向对象软件测试正日益受到关注。集成测试是面向对象软件测试的一个重要阶段,在基于UML协作图生成面向对象软件的集成测试用例的过程中,一个重要内容是测试序列的生成。针对集成测试序列数量容易膨胀的现象,根据UML协作图的特点,应用过程间受限控制流图(IR-CFG)描述协作图的消息间逻辑控制关系。给出了由RationalRose开发的规格说明文件生成IRCFG的算法,并介绍了IRCFG的几种覆盖准则与基于IRCFG生成测试序列的方法。     

基于衍型的模式标注方法

设计模式在面向对象软件设计、开发和维护中发挥着非常重要的作用。为了克服现有设计模式标注方法的缺陷与不足,提出一种基于衍型的模式标注方法SBPN。基于UML衍型机制,SBPN不仅提供了一套规则用于精确标注结构图中类、方法或属性等模型元素的模式角色相关信息,还可以标注交互图中的模式信息。此外,SBPN为源代码中模式信息的标注也提供了相应的解决方案。给出了使用SBPN方法标注类图、交互图和源代码中的模式信息的实例,最后还将SBPN应用于一个较为复杂的排序系统。     

基于UML的图书馆管理系统的分析与设计

利用 Rational Rose对图书馆管理系统进行UML建模,建立了系统类图,用户用例图,用户顺序图和系统活动图等.通过对图书馆管理系统的实例建模,详细地阐述了基于UML的建模过程.     

基于UML的Web商务平台的开发方法

统一建模语言UML是一种面向对象的软件开发方法,它融合了软件工程领域的新思想、新方法和新技术。本文用UML设计了一个Web商务平台,并用支持UML的建模工具--RationalRose Enterprise Edition实现了该Web商务平台。本文给出了Web商务平台的需求分析-用例图,Web商务平台的详细设计--序列图、活动图和类图,以及Web商务平台的实现--
组件图和布局图。UML作为标准建模语言,支持从系统需求分析开始的软件开发全过程,它使系统各开发团队能够较容易地沟通,从而增强了整个系统开发过程的可控性,加快了
系统的开发速度,提高了软件质量。     

Tool Support for Estimating the Memory Usage of Mobile Phone Software

We present and discuss a tool that can estimate the worst-case memory usage of interacting software components. The tool applies formal analysis based on Coloured Petri nets (CPN). For a given set of interaction scenarios, the tool calculates a state space of a CPN model and finds a path, which corresponds to a worst-case memory usage interleaving of the events in the scenarios. To hide the formal analysis from the users of the tool, IBM Rational Rose is used as front-end to specify scenarios as annotated UML sequence diagrams, and Microsoft Excel is used as back-end to present the analysis results.     

An Efficient Migration to Model-driven Development (MDD)

Model-driven development envisions raising the abstraction level of software development. To fully realize this vision, technology-specific aspects must be completely hidden from developers. They produce only platform-independent models (PIM), which are automatically transformed into executable systems. To enable an efficient migration to MDD, we recommend taking advantage of concepts from software architectures, product line engineering and reverse engineering.     

On evaluating the layout of UML diagrams for program comprehension

UML class and sequence diagrams are helpful for understanding the static structure and dynamic behavior of a software system. Algorithms and tools have been developed to generate these UML diagrams automatically for program understanding purposes. Many tools, however, often ignore perceptual factors in the layout of these diagrams. Therefore, users still have to spend much time and effort rearranging boxes and lines to make the diagram understandable. This article presents key criteria and guidelines for the effective layout of UML class and sequence diagrams from the perspective of perceptual theories. Two UML tools are evaluated to illustrate how the criteria can be applied to assess the readability of their generated diagrams. Kenny Wong is an Associate Professor in the Department of Computing Science at the University of Alberta. His main areas of research include software comprehension, evolution, and visualization. This research includes building, using, and evaluating integrated environments for reverse engineering, and devising strategies to understand and evolve diverse software systems. He is General Chair of the 2007 International Conference on Program Comprehension in Banff, and Program Chair of the 2008 International Conference on Software Maintenance in Beijing. Dabo Sun is an M.Sc. student in the Department of Computing Science at the University of Alberta. His research interests include program comprehension, software visualization, and end-user software engineering. He has assisted the teaching of courses in software engineering and web information systems. He also has been working as a software engineer on developing and maintaining industrial software systems.