BPEL流程静态优化技术研究

doi:10.3969/j.issn.1001-2400.2010.01.007

J4 ›› 2010, Vol. 37 ›› Issue (1): 33-40.doi: 10.3969/j.issn.1001-2400.2010.01.007

BPEL流程静态优化技术研究

鲍亮;陈胜;宋胜利;陈平;胡圣明;褚华

(西安电子科技大学软件工程研究所，陕西西安 710071)

收稿日期:2009-03-20 出版日期:2010-02-20 发布日期:2010-03-29
通讯作者: 鲍亮
作者简介:鲍亮(1981-)，男，西安电子科技大学博士研究生，E-mail: baoliang@mail.xidian.edu.cn．
基金资助:
“十一五”国家部委预研项目资助项目(513060601)

Research on the static optimization algorithm for the BPEL process

BAO Liang;CHEN Sheng;SONG Sheng-li;CHEN Ping;HU Sheng-ming;CHU Hua

(Research Inst. of Software Engineering, Xidian Univ., Xi'an 710071， China)

Received:2009-03-20 Online:2010-02-20 Published:2010-03-29
Contact: BAO Liang

摘要/Abstract

摘要：

提出了一种基于同步和并发分析的业务流程执行语言(BPEL)流程静态优化算法．该算法首先利用同步分析技术对流程中的同步结构进行处理: 细化流程的同步粒度、删除冗余的同步依赖和增大流程的并发度; 然后采用程序依赖图对流程进行数据流与控制流分析，利用节点合并-重组算法减少流程中顺序活动的数量，进一步增大流程的并发度．实验表明，该算法能够有效提高流程的执行效率，减少流程的执行时间．

关键词: 业务流程执行语言, 静态优化算法, 同步分析, 并发分析

Abstract:

A static optimization algorithm for BPEL (Business Process Execution Language) process is proposed. The approach starts from scanning and handling all of the synchronized structures based on the synchronized analytical method. After that, the data flow and control flow analysis that utilizes the program dependence graph is made. A merge-reorder algorithm is applied to decrease the quantity of sequence activities and increase the degree of concurrency in a given process. Some pratical expriements have proved the efficiency of our static optimization algorithm.

Key words: business process execution language(BPEL) process, static optimization algorithm, synchronization analysis, concurrency analysis

鲍亮;陈胜;宋胜利;陈平;胡圣明;褚华. BPEL流程静态优化技术研究[J]. J4, 2010, 37(1): 33-40.

BAO Liang;CHEN Sheng;SONG Sheng-li;CHEN Ping;HU Sheng-ming;CHU Hua. Research on the static optimization algorithm for the BPEL process[J]. J4, 2010, 37(1): 33-40.

参考文献

［1］Papazoglou M P, Georgakopoulos D. Service Oriented Computing［J］. Communications of the ACM, 2003, 46(10): 25-28.
［2］OASIS. Business Process Execution Language for Web Service (BPEL4WS) ［DB/OL］. ［2003-05-21］. http://www.casisopen.org/committees/download.php/2046/BPEL％20V1-1％20Ma％y％205％202003％20Final.pdf.
［3］Yuan Y, Li Z J, Sun W. A Graph-search Based Approach to BPEL4WS Test Generation［C］//International Conference on Software Engineering Advance. Washington: IEEE Computer Society, 2006: 14-22.
［4］Mayer P, Lübke D. Towards a BPEL Unit Testing Framework［C］//Workshop on Testing, Analysis, and Verification of Web services and Applications. New York: ACM Press, 2006: 33-42.
［5］Chun Ouyang, Wil M P, van der Aalst, et all. WofBPEL: a Tool for Automated Analysis of BPEL Processes［C］//Lecture Notes in Computer Science. Germany: Springer-Verlag, 2007: 484-489.
［6］Nanda M, Chandra S, Sarkar V. Decentralizing Execution of Composite Web Services［C］//Object-oriented Programming, Systems, Languages, and Applications. New York: ACM Press, 2004: 170-187.
［7］Rud D, Schmietendorf A, Dumke R. Performance Modeling of WS-BPEL Based Web Service Compositions［C］//Services Computing Workshops. Washington: IEEE Press, 2006: 140-147.
［8］Chen Sheng, Bao Liang, Chen Ping. OptBPEL: a Tool for Performance Optimization of BPEL Process［C］//Software Composition, Lecture Notes in Computer Science. Germany: Springer-Verlag, 2008: 141-148.
［9］鲍亮, 宋胜利, 陈胜, 等. BPEL中的静态流程切片技术研究［J］. 系统工程与电子技术, 2009, 31(1): 241-245.
Bao Liang, Song Shengli, Chen Sheng, et al. Research on Static Process Slicing in BPEL［J］. Systems Engineering and Electronics, 2009, 31(1): 241-245.
［10］Banerjee U, Bliss B, Ma Z J, et al. A Theory of Data Race Detection［C］//Workshop on Parallel and Distributed Systems. Portland: ACM Press, 2006: 69-78.
［11］Ferrante J, Ottenstein K J, Warren J D. The Program Dependence Graph and Its Use in Optimization［J］. ACM Trans on Programming Languages and Systems, 1987: 9(3): 319-349.
［12］陈胜, 鲍亮, 陈平, 等. BPEL流程数据竞争和死锁检测算法研究［J］. 西安电子科技大学学报, 2008, 35(6): 1056-1063.
Chen Sheng, Bao Liang, Chen Ping, et al. Study of Algorithm on Data Race and Deadlock Detection for BPEL Process［J］. Journal of Xidian University, 2008, 35(6): 1056-1063.
［13］Krinke J. Static Slicing of Threaded Programs［C］//Program Analysis for Software Tools and Engineering (PASTE 98). New Yrok: ACM Press, 1998: 35-42.
［14］Endpoints. Activebpel Engine Architecture(Version 4.1)［DB/OL］. ［2008-03-04］. http://www.activebpel.org/docs/architecture.html.

BPEL流程静态优化技术研究

Research on the static optimization algorithm for the BPEL process

PDF (PC)

赞

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 1

Metrics

本文评价

推荐阅读 10