收藏本站
问答
《计算机科学》 2011年12期
作者本人免费下载 | 收藏 | 投稿 | 论文排版

基于答案集的Web服务组合验证

钱俊彦   黄国旺   赵岭忠   开通知网号
【摘要】： 语义Web服务组合的形式化描述和验证,是保证组合服务能正确运行的重要前提基础。首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法,并分析基于答案集编程建模的优势。然后给出OWL-S流程模型中几种控制结构到中间模...

 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 https://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
违法和不良信息举报电话：400-062-8866
举报邮箱：jubao@cnki.net
©2022中国知网（CNKI）


加载耗时:37ms