您的位置： 专家智库 > >

广西研究生教育创新计划(2009105950812M22)

作品数：2 被引量：0H指数：0
相关作者：钱俊彦黄国旺刘冬高荣亮赵岭忠更多>>
相关机构：桂林电子科技大学国防科学技术大学更多>>
发文基金：中国博士后科学基金国家自然科学基金广西研究生教育创新计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 2篇WEB服务
  • 1篇服务自动组合
  • 1篇OWL-S
  • 1篇WEB服务组...
  • 1篇WEB服务组...
  • 1篇PETRI网

机构

  • 2篇桂林电子科技...
  • 1篇国防科学技术...

作者

  • 2篇钱俊彦
  • 1篇介颂园
  • 1篇赵岭忠
  • 1篇高荣亮
  • 1篇刘冬
  • 1篇黄国旺

传媒

  • 1篇计算机工程
  • 1篇计算机科学

年份

  • 2篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于答案集的Web服务组合验证
2011年
语义Web服务组合的形式化描述和验证,是保证组合服务能正确运行的重要前提基础。首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法,并分析基于答案集编程建模的优势。然后给出OWL-S流程模型中几种控制结构到中间模型Petri网的映射,并提出由Petri网生成答案集编程的算法。同时将时态约束引入到组合服务验证中,利用时态约束表达待验证性质,将验证问题转换为求解逻辑程序的答案集。最后通过一个具体的实例说明该方法的有效性。
钱俊彦黄国旺赵岭忠
关键词：PETRI网OWL-S
基于QWS的Web服务集消减算法
2011年
在基于人工智能理论的Web服务自动组合推理中,推理的复杂度呈指数级增长,难以在实际中应用。针对上述问题,提出一种基于QWS数据集的Web服务集消减算法RfWss-QWS,从Web服务的评估、调用、监控和管理出发,选择效率、稳定性和价格等最优的服务,从而最大限度地消减服务集,得到一个精简且完备的服务集合用于服务的自动组合推理。
刘冬钱俊彦介颂园高荣亮
关键词：WEB服务服务自动组合
全选 清除 导出
共1页<1>
聚类工具0