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

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

UML活动图支持的工作流建模分析

首先分析了工作流管理系统的特性，给出了一种工作流执行系统的体系结构。在此基础上，形式化定义了为工作流过程建模的UML活动图结构以及建模规则；通过一个具体的实例描述了建模过程并对模型的执行做了分析。     

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

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

基于UML活动图化简方法的工作流模型校核研究

针对开放、响应型系统建模UML活动图表现优良的特性,UML活动图在工作流建模领域也引起了人们的极大关注。然而相关的研究仅仅起步,特别是针对相应的模型校核技术更是研究甚少。该文提出了基于UML活动图化简方法的工作流模型校核技术,在UML活动图到活动超图映射基础之上,对活动超图建立化简规则,通过化简实现工作流模型校核。实践证明此方法有效。     

UML活动图的评价和扩展

作为统一的标准建模语言,UML应支持企业建模。文章首先从过程工程的角度分析UML1．3中活动图的企业建模能力,并指出了利用活动图进行企业建模的不足之处,然后详细讨论如何对活动图进行扩充才能使其从过程、基础设施、协同、行为以及信息等五个侧面全面描述一个企业,并完成了经扩展后活动图中的原语和语法。最后指出了为更好地支持企业建模,UML今后应进一步努力的方向。     

基于扩展UML活动图的工作流异常处理过程

在UML活动图上实现工作流异常处理功能,避免工作流无故中断,影响工作流的运行.扩展了UML活动图,增加了结构单元和功能单元,保证工作流执行语义一致性的同时,不但限制了异常恢复范围而且还能自动设置恢复点;提出T型工作流恢复算法,该方法本着同层恢复、向外扩散的原则,将恢复粒度上升到单元级别.实验结果证明,该算法是可行的,不...     

UML活动图描述工作流模型的执行语义

UML是软件工程中广泛应用的建模语言,但其主要问题是缺少严格的形式化语义,因而描述的模型容易产生歧义.根据UML活动图的语法和工作流系统的特点,为UML活动图定义了一种执行语义.基于时间转变系统模型,将工作流系统的执行描述为时间转变和数据转变两个交替进行的过程.时间转变描述时间的前进,数据转变修改工作流案例的状态,这种语义比层次状态图具有更强的描述并行的能力,比Petri网和进程代数更适合描述工作流模型.     

基于UML的工作流引擎的设计与研究

由于工作流技术具有在异构环境中处理复杂事务的能力,所以在科学研究、电子政务和商务等方面引起了广泛的关注,工作流引擎是工作流管理系统的核心,本文以工作流管理联盟的工作流参考模型为基础,主要使用UML建模技术对工作流引擎进行分析与设计。     

UML活动图在工作流过程建模中的应用研究

UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出了扩展后UML活动图的数学模型。     

基于 UML扩展的面向方面建模 *

面向方面编程 ( AOP)把横切关注点从系统中分离 ,解决了面向对象编程 ( OOP)中代码纠缠、散射的问题。但在面向方面建模中 ,横切方面没有得到很好的支持。首先 ,在统一建模语言 ( UML)元模型的基础上利用类图建立了整体框架模型 ,设计了核心类、方面、横切元素及其之间的关系 ;其次 ,利用 UML扩展机制为切点、通知、方面等主要元素建立了新的模型 ,设计了它们与方面之间新的关联关系并为其定义了语义。通过 UML扩展,使得 UML能够直接表达面向方面概念 ,支持面向方面建模设计 ,实现了面向方面模型     

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

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

基于UML的工作流建模

工作流模型是对工作流的抽象表示,也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行,因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点,在分析了传统工作流建模的不足之处的基础上,结合工作流公共数学描述,提出了基于UML的工作流建模方法,并详细分析了它对传统工作流建模的改进。     

一种基于Petri网的工作流元模型研究

Petri网是建立离散系统模型有力的数学工具。为了解决基本Petri网建模能力不足的问题,Aalst提出了有代表性的WF-Net模型。提出的HSC-PN工作流元模型,基于WF-Net扩展,增加了模型元素静态属性、数据流全局共享和增强的活动块等特性。详细阐述了HSC-PN元模型的DTD文件规范,分析了该模型对工作流模式的支持、触发机制及验证方式。通过可视化的建模工具,生成符合DTD文件规约的流程模板XML文件表示。HSC-PN元模型具有更丰富的元素描述信息,简化了流程模型,具有更强的建模能力。     

A transformation‐based approach to testing concurrent programs using UML activity diagrams

Unified Modeling Language (UML) activity diagrams are widely used to model concurrent interaction among multiple objects. In this paper, we propose a transformation‐based approach to generating scenario‐oriented test cases for applications modeled by UML activity diagrams. Using a set of transformation rules, the proposed approach first transforms a UML activity diagram specification into an intermediate representation, from which it then constructs test scenarios with respect to the given concurrency coverage criteria. The approach then finally derives a set of test cases for the constructed test scenarios. The approach resolves the difficulties associated with fork and join concurrency in the UML activity diagram and enables control over the number of the resulting test cases. We further implemented a tool to automate the proposed approach and studied its feasibility and effectiveness using a case study. Experimental results show that the approach can generate test cases on demand to satisfy a given concurrency coverage criterion and can detect up to 76.5% of seeded faults when a weak coverage criterion is used. With the approach, testers can not only schedule the software test process earlier, but can also better allocate the testing resources for testing concurrent applications. Copyright © 2015 John Wiley & Sons, Ltd.     

Decomposition of UML activity diagrams

In software engineering, UML activity diagrams in general can be useful for a modeling system functional behavior, ranging from the sequences of activities/actions from business processes within an organization or among organizations down to the detail of an algorithm. The stepwise refinement process makes activity diagrams more and more complex. To guarantee the behavior consistency and correctness under refinement, the activity diagrams must be decomposed according to the divide‐and‐conquer strategy. Traditional decomposition methods adopt manual techniques and cannot ensure the independence and completeness of the obtained subdiagrams. In this paper, a novel decomposition approach is proposed, which can automatically divide an activity diagram into atomic and correct subdiagrams (subdiagrams without abnormal behavioral problems) at the same level. When such an activity diagram specifies the whole functional behavior of a software system, the approach can in fact decompose a system into multiple atomic subsystems. Every atomic subsystem is a completely independent system. It may be independently developed, independently tested, and independently deployed. The method facilitates the management, development, and maintenance of a software system. With the help of a prototype tool, a case study demonstrates the decomposition method.     

基于 UML扩展的面向方面建模 *

面向方面编程（AOP）把横切关注点从系统中分离,解决了面向对象编程（OOP）中代码纠缠、散射的问题。但在面向方面建模中,横切方面没有得到很好的支持。首先,在统一建模语言（UML）元模型的基础上利用类图建立了整体框架模型,设计了核心类、方面、横切元素及其之间的关系;其次,利用UML扩展机制为切点、通知、方面等主要元素建立了新的模型,设计了它们与方面之间新的关联关系并为其定义了语义。通过UML扩展,使得UML能够直接表达面向方面概念,支持面向方面建模设计,实现了面向方面模型的可视化和可辨别性;整体框架模型使得面向方面整体结构清晰,各个核心元素之间关系明确,为面向方面建模提供了一个整体设计平台,提高了面向方面软件设计的模块化,增强了代码的重用性和系统的可维护性。