您的位置： 专家智库 > >

周瑾

作品数：2 被引量：2H指数：1
供职机构：中国科学院成都计算机应用研究所更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化语义
  • 1篇语义
  • 1篇语义WEB服...
  • 1篇通信
  • 1篇通信顺序进程
  • 1篇自动化
  • 1篇自动化验证
  • 1篇基于通信
  • 1篇OWL-S
  • 1篇PROMEL...
  • 1篇SPIN

机构

  • 2篇中国科学院成...

作者

  • 2篇吴尽昭
  • 2篇杨建书
  • 2篇周瑾

传媒

  • 2篇计算机应用

年份

  • 2篇2010
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于通信顺序进程的OWL-S语义分析与建模被引量：2
2010年
为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并利用该模型为OWL-S过程定义了形式化语义。最后以机票预订为例说明了采用CSP模型为OWL-S过程添加形式化语义的完整流程。由于该方法具备良好的数学基础,所以可以基于该方法开发出自动化验证OWL-S过程模型的工具,提高系统的安全性。
杨建书吴尽昭周瑾
关键词：自动化验证通信顺序进程形式化语义
基于Spin检测语义Web服务过程模型
2010年
在Web服务组合的实现中,正确高效验证语义Web服务过程的正确性具有重要意义。为了实现语义Web服务过程模型的自动化检测,针对过程模型中的控制流和数据流,阐述了使用Promela语言规范OWL-S过程模型的一般方法。实例和系统原型表明了该方法的可行性。
周瑾吴尽昭杨建书
关键词：SPINPROMELA
全选 清除 导出
共1页<1>
聚类工具0