您的位置: 专家智库 > >

徐经纬

作品数:1 被引量:3H指数:1
供职机构:南京邮电大学计算机学院更多>>
发文基金:江苏省自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇一致性
  • 1篇语义
  • 1篇语义一致性
  • 1篇服务质量
  • 1篇WEB服务组...
  • 1篇PETRI网
  • 1篇WEB服务

机构

  • 1篇河海大学
  • 1篇南京邮电大学

作者

  • 1篇程永上
  • 1篇王志坚
  • 1篇徐经纬

传媒

  • 1篇计算机集成制...

年份

  • 1篇2009
1 条 记 录,以下是 1-1
排序方式:
Web服务组合语义一致性验证研究被引量:3
2009年
通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证。提出了Web服务组合语义一致性所包含的内容,给出了其相应验证算法。最后,进行了总结,并提出了下一步的工作。
王志坚程永上徐经纬
关键词:WEB服务组合语义PETRI网一致性服务质量
共1页<1>
聚类工具0