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

原创 2006年05月22日 23:05:00

基于UML活动图的工作流模型的基本组成如下(图二):

(注意:UML2。0里的活动图没有状态节点这个东东。至于它源自哪里,待考。) 

“带标识的有向边”上的e[g]意为:事件e发生而警戒条件g为真。

等待状态节点:表示系统处于等待时的情况。

 

 

 

 

而WFMC定义的结构路由有四:

所有,基于上面的知识可以进行建模。

为了更好的建模,定义下列建模规则:

对节点的要求:
(1) 每个活动图只能有一个起始节点和一个结束节点,
这保证了工作流实例只有一个入口(开始节点) 和一个出口
(结束节点) ;(2) 除了起始节点和结束节点外,每个节点必须至少有
一个输入边和一个输出边,这使活动图的每个节点都是可达
,即不存在孤立节点;(3) 对于每个与分支/ 或分支节点只有一个输入边,而与
连接/ 或连接节点只有一个输出边,这一点在没有限制活动图
表达能力的基础上增强了可读性。
对有向边的规则:
对任意活动图AD = (Node ,Edge ,Event ,Condition) 都有:
(1) ( Pe Edge) ( source (e) = Initial) ] ( event ( e) =
NULL) (condition(e) = True) 离开起始节点的边不能有事
e ,而且其守卫条件为永真True这样保证了工作流实例一
被初始化就可以离开起始节点而进入具体的执行过程;
(2) ( Pe ∈Edge) ∧(source (e) ∈AS) ] event (e) = NULL 即
离开活动状态节点的边不能有事件e这表示处于活动状态
的原子活动不会被其它事件的到来而中断执行;
(3) ( Pe ∈Edge) ∧( source (e) ∈WS) ] event (e) ≠NULL
即离开等待状态节点的边要有事件e。这与上面第二条不同
的原因是处于活动状态的活动执行完后会触发相应的外部事
件来告诉WFES 活动完成,而工作流实例处于等待状态时自
己不会触发事件,必须要有事件(外部事件或时间事件) 来触
WFES 进行下一步的路由。
(4) ({e1 , e2 , ⋯,en} AEdge) ∧(source (e1) = source (e2) =
⋯= source (en) ∈OR2Split) ] ( ∑
n
i =1
∨condition (ei ) = true) 即
开或分支节点的所有边上所有条件的析取为永真
(5) ({e1 ,e2 , ⋯,en} AEdge) ∧( source (e1 ) = source (e2) =
⋯= source (en) ∈AND2Split) ] (event (e1 ) = event (e2 ) = ⋯=
event(en) = NULL) ∧( ∏
n
i =1
condition (ei ) = True) 即离开与分支
节点所有边上不能有e 且条件都为True。(4) 和(5) 两条规则
是为了预防某些死锁的发生。如果离开与分支的边有外部事
件到来或者路由条件为false ,则系统将无法路由发生死锁;在
离开或分支节点所有边上的条件中必有一个成立,保证了路
由能继续下去。
下面是一个建模实例:
该图可以看出一个问题:还差一个对子流程的支持。
所以,下图引入一个描述子流程的活动。(登记,分配值机柜台等都是子流程。)
待解决的问题:
1活动图中的等待状态节点的使用?何时使用?所代表的意义?
2带标识的有向边及其上的事件的具体意义?深入了解之!
3子流程与活动集的关系?
为了解决上述问题,先学习:
属于状态图:
事件:某个时刻发生的事情。
信号事件(signal event):发送或接受信号的事件,通常我们更关注接受事件,因为它会在接受对象中产生影响。(信号:从A对象到B对象的明确的单向信息流动,与具有返回值的子过程调用不同,A发出信号,B的答复也是一个信号。)我们将信号组织成信号类,用属性来表示改信号所携带的数据等。如一个名为MouseButtonPushed的信号类,有button,location属性。
变更事件(change event):由满足布尔表达式而引起的事件。如when (room temprature < heating set point)...。要不断检查表达式,才可能有变更事件的发生。当然,连续不断的检查是不现实的,但是高频度的检查是可以的,这样,从外部“看上去”是在连续不断的检查。
时间事件(time event):在绝对时间或某个时间间隔内发生的事情引起的事件。如:when (date = January 1,2000),after(10 secends)。
迁移和状态:
状态:根据对象的总体行为,将取值和链接(?)的集合组成一个状态。
迁移(transition):从A状态到B状态的瞬时变化。
当事件发生,会触发迁移(除非有可选的警戒条件会忽略事件)。
警戒条件(guard condition):为了让迁移发生而必须为真的布尔表达式。
表达为:
          事件[警戒条件]
A--------------------------->B
属于活动图:
警戒条件:活动图中的转移也是以警戒条件为标识。警戒条件还可以用于说明一组并行线程中的某个线程是有条件的。
泳道:可以使用垂直实线将活动图划分为泳道。每条泳道代表整个工作流程的某个部分的职责,该职责由组织的某个部门来执行。泳道最终可以由组织单元或者业务对象模型中的一组类来实施。
嵌套活动:可以显示活动中的子图或是让活动引用另一个图。
                                                                                                                                                                            
下面是一些工作流定义工具的实现细节及思路:
(未完)
版权声明:本文为博主原创文章,未经博主允许不得转载。

相关文章推荐

微软工作流活动研究

  • 2011-10-12 12:53
  • 1.59MB
  • 下载

10-jbpm工作流之"自定义活动Custom"

自定义工作流活动: 1.工作流图片:test.png: 2.配置文件test.jpdl.xml: 该配置指定了custom的实现类 ...

工作流模型研究综述

  • 2015-05-18 22:40
  • 302KB
  • 下载

11.activiti工作流-开始活动节点

流程图部署流程定义+启动流程实例+查询流程实例+查询历史流程实例package i_start;import java.io.InputStream; import java.util.HashMap...

Dynamics CRM 远程调试 自定义工作流活动

Dynamics CRM 使用Visual Studio 进行远程调试

基于UML工作流的开发

  • 2010-03-16 16:30
  • 298KB
  • 下载
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)