您的位置： 专家智库 > >

国家自然科学基金(6087311860973147)

作品数：2 被引量：1H指数：1
相关作者：吴尽昭陈剑锋许振兴周瑾杨建书更多>>
相关机构：中国科学院成都计算机应用研究所更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇性能检测
  • 1篇语义WEB服...
  • 1篇时序逻辑
  • 1篇系统结构
  • 1篇马尔可夫
  • 1篇马尔可夫链
  • 1篇检测器
  • 1篇PROMEL...
  • 1篇SPIN

机构

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

作者

  • 2篇吴尽昭
  • 1篇杨建书
  • 1篇周瑾
  • 1篇许振兴
  • 1篇陈剑锋

传媒

  • 2篇计算机应用

年份

  • 2篇2010
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于马尔可夫链的性能检测器的设计与实现被引量：1
2010年
为了可视化建模和验证并发系统的性能,设计并实现了一个以交互式马尔可夫链为数学原型的性能检测器。对该软件的系统结构、数据结构和功能模块等进行了探讨和设计,并举例验证。该软件采用Java Swing界面编程技术,支持图形化建模系统和撰写逻辑公式,界面友好,易于操作。
许振兴吴尽昭陈剑锋
关键词：时序逻辑性能检测系统结构
基于Spin检测语义Web服务过程模型
2010年
在Web服务组合的实现中,正确高效验证语义Web服务过程的正确性具有重要意义。为了实现语义Web服务过程模型的自动化检测,针对过程模型中的控制流和数据流,阐述了使用Promela语言规范OWL-S过程模型的一般方法。实例和系统原型表明了该方法的可行性。
周瑾吴尽昭杨建书
关键词：SPINPROMELA
全选 清除 导出
共1页<1>
聚类工具0