| BPEL流程静态优化技术研究 |
| |
| 引用本文： | 鲍亮,陈胜,宋胜利,陈平,胡圣明,褚华. BPEL流程静态优化技术研究[J]. 西安电子科技大学学报(自然科学版), 2010, 37(1): 33-40. DOI: 10.3969/j.issn.1001-2400.2010.01.007 |
| |
| 作者姓名： | 鲍亮 陈胜 宋胜利 陈平 胡圣明 褚华 |
| |
| 作者单位： | (西安电子科技大学 软件工程研究所，陕西 西安710071) |
| |
| 基金项目： | "十一五"国家部委预研项目资助项目 |
| |
| 摘 要： | 提出了一种基于同步和并发分析的业务流程执行语言(BPEL)流程静态优化算法．该算法首先利用同步分析技术对流程中的同步结构进行处理: 细化流程的同步粒度、删除冗余的同步依赖和增大流程的并发度; 然后采用程序依赖图对流程进行数据流与控制流分析，利用节点合并-重组算法减少流程中顺序活动的数量，进一步增大流程的并发度．实验表明，该算法能够有效提高流程的执行效率，减少流程的执行时间．
|
| 关 键 词： | 业务流程执行语言 静态优化算法 同步分析 并发分析 |
| 收稿时间： | 2009-03-20 |
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 on the static optimization algorithm for the BPEL process[J]. Journal of Xidian University, 2010, 37(1): 33-40. DOI: 10.3969/j.issn.1001-2400.2010.01.007 |
| |
| Authors: | BAO Liang CHEN Sheng SONG Sheng-li CHEN Ping HU Sheng-ming CHU Hua |
| |
| Affiliation: | (Research Inst. of Software Engineering, Xidian Univ., Xi'an 710071， China) |
| |
| 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 e... |
| |
| Keywords: | business process execution language (BPEL) process static optimization algorithm synchronization analysis concurrency analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《西安电子科技大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《西安电子科技大学学报(自然科学版)》下载全文 |
