以文本方式查看主题 - W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL (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=18171) |
-- 作者:lib -- 发布时间:5/11/2005 6:28:00 PM -- 借人气探讨一下WEB服务组合最佳的形式化工具是什么?(可以跟贴加新的观点呀)[讨论] rt |
-- 作者:mbxian -- 发布时间:5/12/2005 6:43:00 PM -- 描述逻辑 |
-- 作者:方便面 -- 发布时间:5/16/2005 12:44:00 AM -- HTN规划属于上面哪一类的啊?? |
-- 作者:lib -- 发布时间:5/18/2005 8:38:00 AM --
不好意思,HTN不懂。可否给个资料看看? 自己投Petri网一票。 |
-- 作者:tp77 -- 发布时间:5/24/2005 9:29:00 PM -- 基于图的合成 |
-- 作者:mbxian -- 发布时间:6/1/2005 12:22:00 PM -- 什么类型的图? |
-- 作者:bratiger -- 发布时间:6/30/2005 6:07:00 PM -- 用单一模型是很难刻画和解决Web Service组合问题的,这些工具应该各有所长吧! |
-- 作者:yuntailyg -- 发布时间:7/17/2005 4:55:00 PM -- 还没有研究比较过,不好发言,文献中看得比较多的有petri网,还有Pi |
-- 作者:lib -- 发布时间:7/25/2005 5:50:00 PM -- 好久没来看了,快把自己的地荒了。 现在自己的论文里定下来选择用PN了。因为觉得基于图的方法,以及对于活动和状态的显式表达与标准化的建模语言比较接近,因此可以通过将BPEL模型转换为PN来做一些验证上的事。 另外,想问问大家。现在服务组合这么火,但是否有人知道有真正的CASE用了这个技术的呢? |
-- 作者:npuzhanglei -- 发布时间:3/10/2006 6:14:00 PM -- 还有HTN方法,也不错的 |
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
54.688ms |