基于UML的动态工作流过程建模的研究.pdfVIP

基于UML的动态工作流过程建模的研究水 陈冬梅王忠群 安徽工程科技学院计算机科学与工程系，芜湖241000 摘要：在形式语义的支持下提出了一种动态工作流建模方法。该方法在扩展UML的基础上给出 了两种建模机制，利用UML活动图和状态图对动态工作流过程进行建模。最后，本文给出一个汽车 企业产品研发的建模实例说明了本方法对动态工作流建模的有效性。 关键词：动态工作流UML活动图UML状态图建模 1引 言 随着社会经济的发展，人们对工作流技术提出了更多的要求。使现有的工作流系统具有动态性已成为 模的工作流动态建模方法；采用人工智能的相关知识实现工作流动态建模； 基于Flow Agent模式的动态 工作流建模方法：面向角色与团队的混合任务分配方式的动态建模策略；基于黑盒的动态建模方法等。这 些工作流动态建模方法大多非常复杂，或者较大程度地采用了扩充工作流管理联盟(Workflow Coalition，WfMC)规范的解决方法。 UML是软件工程中应用广泛的建模语言。本文基于UML活动图和状态图形式语义【1．3】，提出一种动态 工作流过程建模的方法。该方法在UML活动图和状态图的基础上，提出了适合动态工作流建模的机制。 它用UML活动图表示工作流的层次过程图，用UML状态图表示工作流的对象状态变换。最后，通过一个 汽车企业的实例建模证明该方法的有效性。 2UML的建模机制 2．1 UML活动图建模机制 2．1．1节点的扩展 将UML活动图的状态分为动作状态(actionstate)、普通活动状态(activity state)和伪状态。动作状态是原子的，不能被分解，其执行过程不可中断；普通活动状态能够进一步分解 为多个活动状态；柔性状态与活动状态相比，不同的是其内部有哪些动作状态以及这些动作的执行顺序等 (final)。 UML活动图的柔性活动状态(flexiblestate)： 定义l 柔性活动状态可表示为 徽宣城人，硕士研究生，主要研究方向：工作流技术． 茎主巡!=煎麴奎王堡远丝望建送丝堑塞 22§ 关的子活动图：l表示该状态的当前活动状态；out表示该状态的退出状态；event表示中断执行D的事件， dynArgs表示状态每次执行时的参数集合；相应的dynMult则表示状态并发执行的次数。 普通活动状态和柔性活动状态的最大区别是：普通活动状态的D中只能表示有唯一的子活动图。而柔 性活动状态的D则可以有几种情况：无子活动图、动作状态或某几个普通活动图之一。我们在图形建模时 用灰色活动状态表示柔性活动状态。 2．1．2动作流(变迁) UML活动图的变迁包括如下元素：源状态、目标状态、激发事件、布尔条件和动作。记激发事件、布 个变迁标记，所有的变迁标记集合记为Labs，用La表示变迁标记只有动作的标记集，Lc表示变迁标记只 有布尔条件的标记集，其中血s上咖，tcc_Lab一习。则有如下变迁的定义。 定义2 Act／on。 Names，五y∈S，eEEvent，CEGuard，aE (儿，．tBg，as，Y)∈T，有Be UML活动图的变迁关系分为简单变迁和复合变迁，简单变迁是指变迁的源状态和目标状态都是动作状 多个源状态和多个目标状态。详见文献【l】。 2．2 UML状态图建模机制 2。2．1 UML状态图基本元素 。 状态机由状态、转换、事件、活动和动作组成。 (1)状态表示一个模型在其生存期内的状况。(2)转换表示两个状态之间的联系。(3)事件是在某个时 间产生的，可触发状态转换。(4)活动是在状态机中进行的一个非原子的执行，由一系列动作组成。(5) 动作是一个可执行的原子计算。 2．2．