您的位置： 专家智库 > >

刘冬

作品数：1 被引量：0H指数：0
供职机构：兰州理工大学计算机与通信学院更多>>
发文基金：甘肃省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇语义
  • 1篇语义WEB
  • 1篇语义研究
  • 1篇服务本体
  • 1篇本体
  • 1篇本体语言
  • 1篇WEB服务本...
  • 1篇WEB服务

机构

  • 1篇兰州理工大学

作者

  • 1篇李明
  • 1篇刘冬

传媒

  • 1篇计算机工程

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
OWL-S过程模型的一阶动态逻辑语义研究
2012年
针对Web服务本体语言(OWL-S)过程模型语义不完善、难以对其进行有效形式化分析和验证的问题,提出一种OWL-S过程模型的形式化方法。该方法对原子过程提供的输入、输出参数、前提条件、执行效果,以及组合过程控制构造子的语义进行描述,从而得到过程模型的一阶动态逻辑语义。实例结果验证了该方法的有效性。
李明刘冬
关键词：语义WEBWEB服务WEB服务本体语言形式化
全选 清除 导出
共1页<1>
聚类工具0