您的位置： 专家智库 > >

黄国旺

作品数：2 被引量：0H指数：0
供职机构：桂林电子科技大学更多>>
发文基金：中国博士后科学基金国家自然科学基金广西高校优秀人才计划项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 2篇PETRI网
  • 1篇语义WEB服...
  • 1篇语义WEB服...
  • 1篇时态约束
  • 1篇OWL-S
  • 1篇WEB服务组...
  • 1篇WEB服务组...
  • 1篇WEB服务

机构

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

作者

  • 2篇黄国旺
  • 1篇赵岭忠
  • 1篇钱俊彦

传媒

  • 1篇计算机科学

年份

  • 2篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于答案集的Web服务组合验证
2011年
语义Web服务组合的形式化描述和验证,是保证组合服务能正确运行的重要前提基础。首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法,并分析基于答案集编程建模的优势。然后给出OWL-S流程模型中几种控制结构到中间模型Petri网的映射,并提出由Petri网生成答案集编程的算法。同时将时态约束引入到组合服务验证中,利用时态约束表达待验证性质,将验证问题转换为求解逻辑程序的答案集。最后通过一个具体的实例说明该方法的有效性。
钱俊彦黄国旺赵岭忠
关键词：PETRI网OWL-S
基于答案集编程的语义Web服务组合与验证
语义Web服务是Web服务和语义网的融合,它通过语义Web标记语言来描述Web服务的语义,使计算机可以理解Web服务,从而实现Web服务的自动发现和组合。单个Web服务功能有限,往往难以满足复杂的需求,Web服务组合很好...
黄国旺
关键词：语义WEB服务PETRI网时态约束
文献传递
全选 清除 导出
共1页<1>
聚类工具0