过程挖掘（Process Mining）3——控制流表示式的流程建模语言（5）：YAWL（Yet Another Workflow Language）与BPMN

YAWL（Yet Another Workflow Language）

    YAWL既是一种工作流建模语言，又是一个开源工作流系统。
    YAWL建模语言受到工作流模式倡议（Workflow Patterns Initiative）的影响而提出的，工作流模式覆盖了工作流的多种视角，包括控制流模式、数据模式、资源模式、更改模式和异常模式等，YAWL的目标就是为了能够直接支持工作流模式并且使建模语言保持简单性。
    下面简单介绍YAWL的控制流视角。

YAWL符号

状态（conditions）

    上图给出了YAWL中的符号。像WF网一样，在YAWL中，每个流程都有一个开始状态（start condition）和结束状态（end condition）。YAWL中的活动被称为任务（tasks）。状态（conditions）对应于Petri网中的库所，但是，YAWL中的任务是可以直接连接的，不强制它们之间必须存在一个状态。（还有注意其托肯是存在弧中而不是状态中）

任务（tasks）

    任务根据它们的类型，可以分为split和join语义：
    ○一个AND-join/AND-split任务的行为同Petri网的变迁一样，需要消耗其来自（每一个）入弧的一个托肯/生成一个托肯到其（每一个）出弧中。
    ○一个XOR-split只选择其出弧的其中一个弧，这种选择依赖于其数据状态的评估，只有一个托肯被生成并且送到选择的弧中。
    ○一个XOR-join一旦存在入托肯就处于使能状态，并且不需要同步（入托肯）。
    ○一个OR-split选择其出弧的一个或多个，这种选择同样依赖于其数据状态的评估。
    ○OR-join的语义比较复杂。OR-join需要至少一个输入托肯，并且同步那些即将到OR-join的托肯，只要存在一个托肯可能通过其其中的一个入弧到达（成为入托肯），那么OR-join就等待。

撤销区域（cancelation regions）

    YAWL还支持撤销区域（cancelation regions）。一个任务可以拥有一个撤销区域，区域内可以包含状态、任务和弧。一旦一个任务完成（其执行），它的撤销区域的所有托肯也全要全部清除，因此任务的输出状态的托肯是在任务的撤销区域的托肯清除后才产生的。撤销区域提供了一个强大的机制来中止并行分支的工作并重置工作流的某些部分，任务可以是组合的或者原子的，组合任务引用另一个（子）YAWL模型，原子任务和组合任务可以同时实例化多次。

图1 机票赔偿申请的YAWL工作流

上图是YAWL的一个工作流例子，因为目前看到的用的不多，先介绍这些，更多内容可以参考：https://yawlfoundation.github.io/

BPMN（Business Process Management Notation）

    BPMN是目前广泛使用的业务流程建模语言。下图展示了其符号元素的一个子集。
    原子活动称为任务（tasks），和YAWL一样活动可以嵌套。
    大多数构成和YAWL一样，然而一个显著不同是路由逻辑不与活动关联，而是与不同的网关（gateways）关联。网关有split网关和join网关，且分别有三种类型：AND、OR和XOR，同样split是依据数据条件（data conditions）的。
    一个事件（event）可以和Petri网中的库所比较，然而两者的语义却有很大的不同，事件不强制一定要存在于活动之间，并且不允许多个输入或输出弧。开始事件（Start events）只有一个输出弧，中间事件（intermediate events）只有一个输入弧和一个输出弧，结束事件（end events）只有一个输入弧。分裂和合并必须通过网关来完成。
    延迟选择结构需要使用XOR网关，如下图最下面，x活动执行后，y和z活动将竞争发生，y由一个定时到期触发，z由外部消息触发，如果消息在定时到期前到达则执行z，否则执行y。需要注意的是这种结构在YAWL中使用一个有两个输出弧的条件就很容易建模出来。

BPMN的符号

    下图是一个使用的流程对应的BPMN模型。

BPMN建模的流程模型