关键词: 业务流程执行语言, Web服务, 服务组合, 数据竞争

Abstract: Composing the existing Web services to satisfy a new value-added for user requirement is called services composition. It provides technical support for business process integration within an enterprise or across multiple enterprises. As a processdriven services composition description language, correctness is a key challenge to BPEL （Business Process Execution Language） the same as other description languages in the domain of services composition. Therefore, analysis and check of control flow and data flow is an essential step before execution. Data race is a wellknown issue for BPEL. In this paper, our goal is automatic detection of the potential data race in a process. Firstly, a formal description for data race was given by analyzing the event types, concurrency specified in the BPEL. Furthermore, based on exploring the characteristics of XML nodes tree, concurrency of two activities, and messages correlative with activities, a detection algorithm was designed to find out data race in a process. Finally, an order processing example was demonstrated to illustrate the validity of the proposed solution.

Key words: business process execution language, web services, web services composition, data race