扩展UML活动图在工作流建模中的应用*

针对UML对数据和信息流描述缺乏充分表达业务工作流程的问题,借助新创建的活动图,提出了基于扩展UML活动图的工作流过程建模方法。应用实例表明,扩展的UML活动图对工作流程的语义表达更丰富,更准确地描述工作流建模所需表达的内容,以满足工作流过程建模的要求。     

基于ASM扩展的活动图进行业务过程建模

为了扩展包括投资者建模、企业建模与扩展价值链建模的Martin／Odell OOA／D方法,该文章使用UML活动图扩展这些技术。UML提供了丰富的标记表示对分析系统行为和系统结构进行分析。其中活动图是用来描述系统的动态行为,并且也适用于业务过程建模。但由于UML的语义是用纯文本的方式描述的,通常不够准确,故而此文提出了使用ASM扩展语义的活动图描述包含上述建模技术的业务过程。     

基于扩展UML活动图的工作流模型研究*

针对目前工作流管理系统在表达能力和适应性方面存在的问题,在给出三层工作流过程元模型的基础上,提出了基于扩展UML活动图的工作流建模方法,扩展了多实例、条件路由和协调节点等建模元素,描述了扩展建模元素的定义、路由结构和建模规则。应用模型实例表明,此方法增强了模型描述能力,在模型适应性和柔性方面具有明显的优势。     

扩展UML活动图用于工作流建模的方法研究

集成的青鸟工作流模型JBDelta,把依附于过程模型且为之提供支持的数据、组织、功能、资源等信息分离出来或加以补充,形成具有相当独立性的模型,其核心是改进的工作流过程元模型定义的过程模型。论文基于此元模型概念扩展UML活动图,得到扩展的工作流过程图,按各模型间的关系把工作流的活动和活动执行所需要的信息合成一体,完整地定义工作流过程。     

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

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

基于UML活动图的测试场景生成方法研究

本文研究运用统一建模语言(UML)活动图生成测试场景的方法,提出采用McCabe的基路径方法生成测试场景,首先对活动图进行压缩,采用基路径寻找算法找出其中的基本路径,并发活动实例化,替换找出的基本路径,形成完整的路径,据此生成相应的测试场景。文中对UML活动图的语法和语义进行了形式化定义和描述,详细描述了从压缩后的活动图中寻找基本路径的算法,对并发活动进行了约束。该方法所产生的基本路径相对独立,提高了测试效率。     

UML实时活动图的形式化分析

统一建模语言(UML)自从成为OMG规范后,应用越来越广泛．但UML没有精确的、形式化的语义阻碍了它的进一步发展．该文基于Petri网,给出带时间约束的UML活动图的形式化描述．与Petri网不同的是,Petri网的时间约束是在跃迁(transition)上,而作者将UML活动图的时间约束放在活动状态上,在此基础上,用整型时间的验证技术对实时活动图的时间性质加以分析,为实时系统的建模打下了基础.     

扩展UML用于面向方面的建模

面向方面编程(AOP)向用户提供了把贯穿特性模块化和编排的能力，以便获得最大的代码重用以及解决代码混乱的问题。然而，目前还没有合适的对AOP的建模语言。文中讨论了一种扩展UML用于面向方面的建模的方法，并通过一个例子来说明这种方法的应用。     

基于扩展UML活动图的过程建模研究

针对传统过程建模不能对仿真编码阶段前的过程进行有效的描述的问题,提出了一种基于扩展UML活动图的建模方法,并从信息活动和物理活动两方面对其进行建模。最后通过一个实例表明该方法能清楚描述过程建模的具体活动,且有利于用户和系统开发者进行沟通和交流。     

扩展UML用于面向方面的建模

面向方面编程(AOP)向用户提供了把贯穿特性模块化和编排的能力,以便获得最大的代码重用以及解决代码混乱的问题.然而,目前还没有合适的对AOP的建模语言.文中讨论了一种扩展UML用于面向方面的建模的方法,并通过一个例子来说明这种方法的应用.     

UML类图的形式化及分析

统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。文章采用Z符号来表示UML类图的组成元素的语法和语义及其映射关系,最后对UML类图的一些性质进行分析和验证。     

基于UML的迭代式软件开发过程

UML（Unified Modeling Language）作为第三代面向对象开发方法,它是一种定义良好,易于表达,功能强大,且适应广泛的建模语言。Rational Unified Process（RUP）是一种软件工程方法,它提供了一种严谨的途径来分派开发组织的任务和职责。它的目标是确保在预定的时间和预算内得到一套的最终用户所需要的高质量的软件产品。文章讨论了依据RUP利用UML建立应用系统模的方法。     

UML在商业系统建模中的应用

UML是一种定义良好、易于表达，功能强大且普遍适用的建模语言。它融入了软件工程领域的新思想、新方法和新技术，使用范围不仅限于支持面向对象的分析与设计，还支持从需求分析开始的软件开发的全过程，通过介绍UML在商业系统建模中的应用方法，阐述了UML的特点及商业系统中使用UML的优势。     

UML顺序图与状态图的一致性检查

用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,可能导致视图不一致问题。该文针对具有多种逻辑语义的顺序图提出分析方法,为复杂层次结构的状态图引入有限状态自动机,利用自动机分解算法得到自动机树。制定新的顺序图和状态图一致性检查准则和Promela代码结构,用模型检验工具SPIN进行顺序图及其相关状态图的一致性检验。     

基于UML类图的软件预测模型

针对面向对象软件开发过程中对软件进行复杂性预测的问题,提出一种在面向对象软件开发的初期阶段通过统一建模语言（UML）类图对软件的复杂性进行度量的模型,该模型运用多元线性方程和统计学原理。对比实验结果表明,为UML类图的可理解性和可修改性所生成的预测模型能建立在由关联和泛化所组成的早期度量标准上。     

在协议工程中应用统一建模语言UML的方法

协议工程与软件工程有着天然的联系。将软件工程中常用的分析工具，统一建模语言UML，应用于协议工程也是非常自然的事。本文结合对GBN—ARQ协议的UML描叙，给出了用UML描叙协议的一些方法。     

UML状态图在回归测试中的应用

基于UML状态图的测试是一种系统测试技术,也是基于需求的回归测试方法的扩展。该文通过依赖性分析,生成基于依赖性分析的UML状态图和依赖图,将修改前和修改后的UML状态图进行比较,为回归测试中待测试的程序的理解、发现和修改错误提供一种方法,并运用SATM实例讨论该技术在回归测试中的应用。     

运用UML为软件项目建模研究

UML作为软件工程领域的标准建模语言 ,受到工程界的广泛关注 ,但怎样运用UML来建模仍没有一个统一的标准。通过实例介绍了UML的结构和机制 ,结合建模工具RationalRose说明如何在软件开发过程中运用UML建模