-- 发布时间：2/21/2006 10:09:00 AM
-- Web 服务组合的描述和验证
欢迎大家对“Web 服务组合的描述和验证”发表讨论，提出自己的观点。
附上廖军的一篇论文：基于Pi－演算的Web 服务组合的描述和验证
|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Web Services & Semantic Web Services 』 (http://bbs.xml.org.cn/list.asp?boardid=10) ---- Web 服务组合的描述和验证 (http://bbs.xml.org.cn/dispbbs.asp?boardid=10&rootid=&id=27542) |
|
-- 作者：matthew2005 -- 发布时间：2/21/2006 10:09:00 AM -- Web 服务组合的描述和验证 欢迎大家对“Web 服务组合的描述和验证”发表讨论，提出自己的观点。 附上廖军的一篇论文：基于Pi－演算的Web 服务组合的描述和验证 |
|
-- 作者：mbxian -- 发布时间：2/21/2006 1:46:00 PM -- 看看先，应该还有其他的描述工具，我认为具体在于如何得到最终组合服务是什么形式的？如何应用呢？ |
|
-- 作者：shaoshao -- 发布时间：2/24/2006 9:42:00 AM -- 偶看到国外有篇类似的文章 嘿嘿 我是做bpel4ws描述和验证的 感觉pi演算对scope的错误机制不是很好描述 |
|
-- 作者：mbxian -- 发布时间：2/24/2006 11:31:00 AM -- "偶看到国外有篇类似的文章 嘿嘿 " shaoshao 可以把类似的文章信息写上来？ 描述和验证好说，关键是找到合适的逻辑工具做组合。 |
|
-- 作者：weimingxiaoy -- 发布时间：3/26/2006 8:51:00 PM -- 还没有发现好用的工具 |
|
-- 作者：codemania -- 发布时间：4/3/2006 5:32:00 PM -- 不错，先看着 |
|
-- 作者：tantal -- 发布时间：4/3/2006 9:12:00 PM -- 各位有相关的资料传上来共享下啊 |
|
-- 作者：matthew2005 -- 发布时间：4/4/2006 9:37:00 AM -- 需要什么样的资料具体点，或者可以讨论下 |
|
-- 作者：mainstay -- 发布时间：4/6/2006 10:02:00 AM -- 朗讯实验室的richard hull 和加州大学圣巴巴拉分校的苏建文在做服务组合形式化描述和验证方面有不少工作，值得借鉴 |
|
-- 作者：dbdxyan1981 -- 发布时间：3/21/2007 11:04:00 AM -- 最近看到一篇综述不错
|
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
62.500ms |