关于BPEL形式化的重要文章 翔 发表于 2007-3-30 21:44:00

最近经常有些朋友问我有关BPEL形式化、Web服务形式化等等的问题。推荐两篇文章如下： Models and Verification of BPEL 很好的survey，如题目所说，做BPEL模型和验证的人必看。(也提到了我们组的工作^_^) Formal frameworks for workflow modelling 也是一个survey，但其出发点是workflow，视角似乎更广一点。重点比较了petri网、进程代数和逻辑演算三种方法。 此外，在学术界研究BPEL常遇到的问题是找不到例子。ActiveBPEL提供了不少例子，可以参考。 客观的说，国际上做BPEL形式化的人还是很多的……所以现在再做的话就要有一定的创新才行了。 最后闲扯一下~昨天看到一句话：”一流的科学家挖坑，二流的科学家灌水“。说的好。 阅读全文 | 回复(4) | 引用通告 | 编辑

Re:关于BPEL形式化的重要文章 xiang发表评论于2007-4-15 19:19:00

我这里都可以打开啊？注意需要上国际网才能打开 个人主页 | 引用 | 返回 | 删除 | 回复

Re:关于BPEL形式化的重要文章 CoolFisH(游客)发表评论于2007-4-15 10:23:00

链接看不到啊 个人主页 | 引用 | 返回 | 删除 | 回复

Re:关于BPEL形式化的重要文章 xiang发表评论于2007-3-31 10:28:00

共同学习：） 个人主页 | 引用 | 返回 | 删除 | 回复

Re:关于Web服务形式化的重要文章 李津(游客)发表评论于2007-3-31 8:52:00

谢谢指点 PS：我已经回长沙了，希望您有时间能来我们学校做客，讲学。 个人主页 | 引用 | 返回 | 删除 | 回复