基于UML2.0活动图的工作流模型研究

总结了UML 2．0活动图新特性,定义了一个基于UML 2．0活动图的工作流模型的形式化描述方法,并提出其基本控制流模式和建模规则．最后用一个应用实例来演示基于UML2．0活动图的工作流模型。     

一种基于UML模型的系统测试方法

针对基于用UML开发的软件系统的用例之间的复杂联系．设计了一种通过UML活动图表示UML用例图来对UML用例图中各个用例之间的联系进行描述，并对其中的用例进行扩展；在此基础上通过对UML活动图中用例遍历的系统测试方法．     

统一建模语言UML的研究及其系统建模实例

介绍了建模语言UML(Unified Modeling Language)的语言结构、Rational统一过程(Rational Unified Process．RUP)、RuP体系结构和UML图,并以手机销售系统开发为例,简要演示了应用UML图建模的思路．     

UML的供应链订单管理系统分析与设计

供应链管理是经济全球化发展的产物，对企业的管理信息系统提出了更高的要求．分析供应链管理面向需求的特点，结合软件工程和面向对象技术(UML)，提出以订单为整个企业管理信息系统核心的观点．基于UML类图和顺序图设计供应链订单管理系统模型，并运用UML活动图描述订单处理的工作流程．     

UML类图向OWL本体转换工具的设计与实现

介绍了UML类图向OWL本体转换的方法,给出了基于J2SE平台的转换工具(UML2OWL)的设计思想与实现技术.利用DOM API解析、提取UML类图元素,并根据UML-OWL转换规则,将其转换为相应的OWL本体元素.工具开发和案例研究表明,该转换方法在转换UML类图到OWL本体上是可行的,基于该转换方法的自动转换工具是可实现的.     

基于UML软件测试技术的比较研究

近年来UML图广泛应用于软件开发的各个阶段，特别在软件测试领域，基于UML软件测试技术的研究成为学术热点．本文对基于UML的软件测试技术进行了详细地比较和研究，并且给出了组件工程中UML软件测试技术的几个可行的研究方向．     

基于语义和结构的UML类图的检索

以软件重用为背景提出基于语义和结构的UML类图检索.构建了UML类图的重用模型,定义了存储UML类图的重用库结构.提出将本体的概念语义距离应用到UML类图的语义相似性度量和使用图表示UML类图的结构进行结构相似性度量.基于检索流程形式化检索需求,提出了UML类图的检索算法.基于提出的衡量标准,从语义、结构和混合三种检索类型对提出的算法进行了验证.实验结果表明,所提出的检索算法在检索质量和检索效率上要优于其他方法.     

以UML顺序图为导向的人事管理系统设计

以人事管理系统的设计为例,以UML顺序图为导向,引申出其他的UML图,从而为各种UML图在整个软件设计开发中的作用进行了完整的描述.     

基于MPLS的VPN系统分析及其UML描述

为了开发设计基于MPLS的二层VPN系统 ,对KompellaMPLSL2VPN解决方案进行了分析并且用UML对分析的结果进行了描述 .在对该系统进行需求分析的基础上 ,首先用UML顺序图对VPN成员自动发现进行描述 ,然后用UML活动图描述了二层VPN标记栈处理过程 ,最后用UML协作图对二层VPN数据传输进行了描述 .用UML描述基于MPLS的二层VPN系统 ,不仅呈现了良好的可视化效果 ,使设计的规范化、通用性、可靠性和扩展性都有了很大的提高 ,而且对于在IPv6环境下进一步研究二层VPN系统也有一定的帮助     

基于统一建模语言和多色集合的并行设计过程研究

在分析现有并行设计过程建模研究的基础上，提出了一种基于统一建模语言（UML）和多色集合理论的并行设计过程建模与分析方法，分析了并行设计活动的连接形式、UML活动图的基本建模元素和基本模型结构．采用多色集合理论，将UML活动图节点间的连接关系和基本模型结构形式化，结合基于特征的零件和工艺并行设计过程，建立了UML活动图模型，从模型简化、路径求取和时间消耗等方面定量地分析了并行设计过程，实现了该模型到多色集合围道矩阵的映射．研究表明，该方法具有面向对象且易于被非专业人员理解和使用的特点，可以为产品设计过程建立形式化模型．通过对设计活动进行布尔运算和定量分析，发现了影响产品设计进程的关键环节，从而为并行设计的组织和实施提供了理论指导．     

一种基于UML的信息系统需求分析方法

针对目前信息系统开发中,需求分析经常遇到的难题,提出了一种基于UML的信息系统需求分析方法,给出了一个需求分析框架,通过活动图技术来对业务流程建模,用对象图模型、状态图模型、交互图模型来构造系统的领域模型.讨论了业务建模、用例的提取、用例的集成等关键技术的实施步骤,使该方法具有更强的可操作性.     

船舶生产设计PDM系统建模方法分析

介绍了船舶生产设计PDM(product data management)系统的框架构成，并重点阐述了重新组合UML描述图的Rational Rose软件在船舶生产设计PDM系统开发阶段的建模分析作用，这种用Rational Rose来分析评估一个待开发的软件系统，对于开发人员在合理的时间内开发和管理高质量的应用程序，能起到“蓝图”作用。     

基于UML的静态类图和ALSD实现建模与编码的统一的方法

统一建模语言UML(Unify Modeling Language)是面向对象软件建模的国际标准，但是UML中缺乏对过程的可视化静态建模部分。抽象逻辑结构图ALSD(Abstract Logical Structure Diagrams)是过程建模的有效表示工具。本文以程序代码的生成为目标，以UML的静态类图和ALSD为基础，结合UML的静态类图与ALSD，探讨了有关的代码生成机制，设计和实现了一个软件开发环境。它填补了类图中方法的可视化描述，实现建模和编码的有机统一，使整个程序的设计完全可视化。     

Model-based testing with UML applied to a roaming algorithm for bluetooth devices

In late 2001, the Object Management Group issued a Request for Proposal to develop a testing profile for UML 2.0. In June 2003, the work on the UML 2.0 Testing Profile was finally adopted by the OMG. Since March 2004, it has become an official standard of the OMG. The UML 2.0 Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology on how to use the testing profile in order to modify and extend an existing UML design model for test issues. The application of the methodology will be explained by applying it to an existing UML Model for a Bluetooth device.     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

UML2.0扩展机制分析

在经过4年之久的修订过程之后,OMG通过并采纳了UML2.0.其中,UML的扩展机制是在UML2.0的提案需求中提出要做重大修订的部分之一.为了能够迅速了解UML引入扩展机制的必要性、UML1.X中扩展机制存在的问题以及UML2.0中扩展机制的新动向,分析了UML2.0扩展机制的必要性以及修订的原因,简要介绍了UML2.0的两种扩展机制,即一阶扩展机制(基于元模型的扩展机制)和轻量级的扩展机制(基于外廓的扩展机制),以及两种扩展机制的比较.最后对UML2.0的扩展机制进行简要的评述与展望.     

一种基于UML 2.0活动图的Web服务业务流程测试方法

UML2.0已经成为最重要的建模语言,BPEL是描述Web服务业务流程的事实标准。本文提出了基于UML2.0活动图对BPEL建模并进行测试的方法。该方法扩展了活动图,给出其形式化定义以及测试覆盖准则的定义,对测试用例生成算法加以约束,提高了测试的效率和精确性。最后结合实例探讨了Web服务业务流程自动化测试方法的可行性。     

一个工作流元模型的描述方法

论述了工作流元模型的三维性,在采用UML2.0活动图的新特性后,提出了一个基于UML2.0活动图的工作流模型,定义了此模型的形式化和非形式化描述方法,并指出了其建模规则,为探询UML2.0活动图在工作流模型描述方法中应用做了初步尝试.