一个模型验证工具--pi4soa

         今天偶然在w3c中国论坛上发现一个利用pi演算进行服务编排的工具--pi4soa，是一个开源的eclipse插件。之前只看过一点pi演算的资料，其实也就是看看介绍什么的，还有就是听师兄做过一个报告，手头上有不少pi演算的资料，不过看起来有点头痛。而且我现在也不太清楚pi演算是如何来进行服务组合模型的验证的，看过几篇论文，觉得讲得也有些模糊。还有就是pi演算是只能用于验证？能否直接用于模型的建立？
       至于工具，不过今天看论坛发现用的较多的叫MWB（Mobile Workbench），还是一个命令行形式的，具体功能还不太清楚，还有就是上面提到的pi4soa，目前的版本是1.4.1，安装文档说装在eclipse3.0.1,3.0.2和3.1都没什么问题。是用于WS-CDL的模型验证的。

        工具貌似功能还是很强大的，留待日后研究，而且发现相关资料真的不多，找到一篇文章，Modeling Web Services Choreography with New Eclipse Tool有空看一下。