以文本方式查看主题

-  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

--  
以下是引用方便面在2005-5-16 0:44:31的发言:
HTN规划属于上面哪一类的啊??

不好意思,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用了这个技术的呢?
最好是有份量的CASE,就象亚马逊的Web服务接口那样?


--  作者:npuzhanglei
--  发布时间:3/10/2006 6:14:00 PM

--  
还有HTN方法,也不错的
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
54.688ms