赵翔鹏的Blog Xiangpeng's Thinkpad

关于BPEL形式化的重要文章

最近经常有些朋友问我有关BPEL形式化、Web服务形式化等等的问题。推荐两篇文章如下：

• Models and Verification of BPEL
  很好的survey，如题目所说，做BPEL模型和验证的人必看。(也提到了我们组的工作^_^)
• Formal frameworks for workflow modelling
  也是一个survey，但其出发点是workflow，视角似乎更广一点。重点比较了petri网、进程代数和逻辑演算三种方法。
• 此外，在学术界研究BPEL常遇到的问题是找不到例子。ActiveBPEL提供了不少例子，可以参考。

客观的说，国际上做BPEL形式化的人还是很多的……所以现在再做的话就要有一定的创新才行了。

最后闲扯一下~昨天看到一句话：”一流的科学家挖坑，二流的科学家灌水“。说的好。