|
以文本方式查看主题 - 计算机科学论坛 (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=44888) |
|
-- 作者：jchfm -- 发布时间：4/5/2007 10:32:00 AM -- web服务的形式化组装与验证过程 web服务的形式化组装与验证过程 。。。。。。。。搞不懂什么叫形式化组装？，老大说组装的英文是composition。。。。。写了英文题是：formal composition and verification for web service.... 是不是搞的是web服务组合阿晕倒哦。。 |
|
-- 作者：smilingcat -- 发布时间：4/17/2007 5:58:00 PM -- 所谓形式化的服务组合应该是指使用形式化的语言和工具例如（Petri网、Pi演算），建立服务组合的描述。 从而可以通过这些形式化语言本身的定理以及推理能力对服务组合进行推理和验证。 看这个英文题目的意思感觉主要工作是对服务组合建立形式化描述模型。 |
|
-- 作者：jchfm -- 发布时间：4/29/2007 11:08:00 AM -- 非常谢谢楼上的回复 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
31.250ms |