| BPEL静态缺陷检测方法 |
| |
| 引用本文： | 杨学红,黄俊飞,宫云战,刘传昌.BPEL静态缺陷检测方法[J].北京邮电大学学报,2011,34(2):108-112. |
| |
| 作者姓名： | 杨学红 黄俊飞 宫云战 刘传昌 |
| |
| 作者单位： | 北京邮电大学网络与交换技术国家重点实验室,北京,100876;北京邮电大学网络与交换技术国家重点实验室,北京,100876;北京邮电大学网络与交换技术国家重点实验室,北京,100876;北京邮电大学网络与交换技术国家重点实验室,北京,100876 |
| |
| 基金项目： | 国家自然科学基金项目(91018002); 中央高校基本科研业务费专项资金资助项目(2011RC0502) |
| |
| 摘 要： | 为了对广泛流行的业务流程执行语言（BPEL）进行静态缺陷检测，深入研究了BPEL程序中可能存在的各种缺陷，提出了面向缺陷模式的BPEL静态检测方法. 面向缺陷模式检测的方法采用扩展有限状态机对缺陷进行建模，通过属性状态变迁条件判断缺陷状态，并在所有控制流汇合节点上合并相同属性状态的状态机实例，从而避免了冗余判断的问题. 该方法已用于BPEL的缺陷检测系统中. 实例验证结果说明，采用该方法进行测试有效可行，可用于提升流程的可靠性和准确性.
|
| 关 键 词： | 业务流程执行语言 缺陷模式 web服务组合 缺陷检测 |
| 收稿时间： | 2010-05-27 |
Research on the Static Defect Detecting in BPEL |
| |
| YANG Xue-hong,HUANG Jun-fei,GONG Yun-zhan,LIU Chuan-chang.Research on the Static Defect Detecting in BPEL[J].Journal of Beijing University of Posts and Telecommunications,2011,34(2):108-112. |
| |
| Authors: | YANG Xue-hong HUANG Jun-fei GONG Yun-zhan LIU Chuan-chang |
| |
| Affiliation: | YANG Xue-hong,HUANG Jun-fei,GONG Yun-zhan,LIU Chuan-chang(State Key Laboratory of Networking and Switching Technology,Beijing University of Posts and Telecommunications,Beijing 100876,China) |
| |
| Abstract: | In order to detect the defects of widespread used business process execution language(BPEL) statically,the defects existed in BPEL programs are deeply studied.A defect-oriented static testing method for BPEL is presented.The extended finite state machine is used to model the defect under detections.The states of defects can be identified by transition conditions of the properties state.And the redundancy of calculation by merging the conditions of identical property state at join points in the control flow ... |
| |
| Keywords: | business process execution language defect pattern web service composition defect detecting |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京邮电大学学报》浏览原始摘要信息 |
|
点击此处可从《北京邮电大学学报》下载全文 |
