工作流模式网站：
-
http:// is.tm.tue.nl/research/patterns/patterns.htm 列出了21种工作流模式。
- http://www.workflowpatterns.com 在上面21种模式的基础上进行扩展，共计43种；另外将这些种模式归为Control-Flow Patterns大类，增加的其他大类还有Workflow Data Patterns， Workflow Resource Patterns，Exception Handling Patterns。
下面是按照自己的理解对Control-Flow Patterns进行划分，主要分析经典的21种工作流模式：
顺序、分支、合并、循环
分支点：
- 一个分支点只可能产生一个分支：Exclusive choice(排他选择)
- 定义了N个分支，实际可能产生M个：Multiple Choice
分支在到达合并点后应用到的模式：
- 能确认定义的分支在运行时均会产生，在到达合并点后，需要等待所有分支完成后流程才可以向下执行：Synchronization；
- 能确认定义的分支在运行时只可能产生一个，在到达合并点后，流程继续执行：Simple Merge(简单合并)；
-
分支在运行时可能产生多个，在到达合并点时：
- 需要鉴别等待哪一个分支完成后，流程才可以继续执行，而一旦执行后，将忽略其他到达的分支：Discriminator（鉴别器）；
- 需要鉴别哪些分支完成后，流程才可以继续执行，这是上一个模式的一个扩展：N-out-of-M Join；
- 无论产生多少个分支，每一个分支都在到达合并点后均向下执行：Multiple Merge；
-
无论产生多少个分支，分支点都需要等待分支完成后，才能向下执行：Synchronizing Merge；可以看出，该模式包含了Synchronization模式的情形
Sequence(顺序模式)，同义词：顺序流程、顺序路由
举例：一个最简单的费用审核步骤
Exclusive choice(排他选择)
费用报销钱首先"检查公司政策"，规则为：若一次性费用超过2500RMB，则拒绝，并通知报销人重新确认费用报告；只有不超过2500RMB，流程才可能继续执行。
Simple Merge (简单合并)
Arbitrary cycles(任意循环)
42种工作流模式对循环做了更细致了划分，多了2种循环模式Structured Loop、Recursion
ALBPM似乎只能实现“结构循环”，即一个出口一个入口。如不能实现这样的循环：
现实中经常有这种场景，但类似的需求一般可以变通实现，如：
Implicit Termination( 隐式终止)
翻了很多产品支持该模式的“证明”，搞迷糊了。在我看来，如果严格的支持，需要：
- 允许设置多个结束节点，至于到达结束节点后，流程是结束还是等待，可以事先设置；
- 允许事先设置：如果一个节点完成后，没有可输出的连接弧，则流程终止。
顺便了解，ALBPM不允许一个节点没有永真的连接弧输出。
