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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
