BPEL流程静态优化技术研究

doi:10.3969/j.issn.1001-2400.2010.01.007

Abstract

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

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.

References

［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.

Research on the static optimization algorithm for the BPEL process

PDF (PC)

Like

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 0

Metrics

Comments

Recommended 10