您的位置： 专家智库 > >

安徽省教育厅重点项目(KJ2008A142C)

作品数：1 被引量：0H指数：0
相关作者：朱相冰张琦汤萍萍庞士焕更多>>
相关机构：东南大学安徽师范大学西北大学更多>>
发文基金：安徽省自然科学基金安徽省教育厅重点项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇BPEL
  • 1篇WEB服务

机构

  • 1篇安徽师范大学
  • 1篇东南大学
  • 1篇西北大学

作者

  • 1篇庞士焕
  • 1篇汤萍萍
  • 1篇张琦
  • 1篇朱相冰

传媒

  • 1篇计算机技术与...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于TLA的正确性验证方法
2009年
随着面向服务的体系结构的发展,有效地组合单个分布的web服务以提供更有价值的服务成为新的热点问题。然而,在这一研究领域还存在诸多问题,比如web服务用哪种方式组合,能否实现自动组合,对组合服务进行正确性验证等等。文中主要是针对组合服务的正确性验证问题,引入时序逻辑TLA。通过把组合服务的BPEL描述转换为TLA可以理解的自动机的形式,这种方法可以很好地验证组合逻辑的正确性以及快速发现死锁等问题。
庞士焕朱相冰张琦汤萍萍
关键词：WEB服务BPEL
全选 清除 导出
共1页<1>
聚类工具0