您的位置： 专家智库 > >

中央高校基本科研业务费专项资金(2011RC0502)

作品数：1 被引量：2H指数：1
相关作者：杨学红宫云战黄俊飞刘传昌更多>>
相关机构：北京邮电大学更多>>
发文基金：中央高校基本科研业务费专项资金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇业务流
  • 1篇业务流程执行...
  • 1篇执行语言
  • 1篇WEB服务组...
  • 1篇BPEL
  • 1篇WEB服务

机构

  • 1篇北京邮电大学

作者

  • 1篇刘传昌
  • 1篇黄俊飞
  • 1篇宫云战
  • 1篇杨学红

传媒

  • 1篇北京邮电大学...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
BPEL静态缺陷检测方法被引量：2
2011年
为了对广泛流行的业务流程执行语言(BPEL)进行静态缺陷检测,深入研究了BPEL程序中可能存在的各种缺陷,提出了面向缺陷模式的BPEL静态检测方法.面向缺陷模式检测的方法采用扩展有限状态机对缺陷进行建模,通过属性状态变迁条件判断缺陷状态,并在所有控制流汇合节点上合并相同属性状态的状态机实例,从而避免了冗余判断的问题.该方法已用于BPEL的缺陷检测系统中.实例验证结果说明,采用该方法进行测试有效可行,可用于提升流程的可靠性和准确性.
杨学红黄俊飞宫云战刘传昌
关键词：业务流程执行语言WEB服务组合
全选 清除 导出
共1页<1>
聚类工具0