赵翔鹏的Blog Xiangpeng's Thinkpad

到底该怎么对business process建模?

不管是叫workflow还是叫business process，工作流/商业流程的建模一直是个重要问题。不幸的是，这一问题一直也没有个统一的答案——在学术界，“Petri网派”和“进程代数派”（主要是Pi演算）之间的口水战似乎从未停止过。

最早是有人写了一篇文章workflow is just a pi-calculus。然后，van der Aalst先生对此作了有力的批驳，除了Why workflow is not just a pi calculus，还有一篇文章Pi calculus versus Petri nets: Let us eat “humble pie” rather than further inflate the “Pi hype”包括了对Pi Calculus局限的分析，提出了不少“challenges”，其中的关键就是pi calculus不能支持所有的patterns。

最近又看到一篇文章：Why do we actually need the Pi-Calculus for Business Process Management，其中还引用了"eat humble pie"一文，可以看作“进程代数派”对“petri网派”的反击。文章指出petri网的缺点在于
1)static structure，不支持动态变化的结构（应该是指mobility）
2)不支持高级composition construct，比如递归。
虽然存在一些对petri网的扩展以解决这些问题，但这些扩展都会导致复杂度过高。

而pi演算就没有这些问题，而且支持mobility。作者认为mobility非常有价值，并举了一个例子来说明之。

此外，作者还提出了web service时代导致workflow模型的几点新变化：
1)从基于状态的系统转为基于message的系统
2)从central engine到分布式服务
3)从closed到open的环境（指的是mobility）

我个人是倾向于process algebra的。