Binding Abstract Business Process and Actual Web Services Using Finite State Automata

The Business Process Execution Language as a definition language for abstract business process only define the abstract business process, but does not specify the specific Web Service which provided by Web Service Providers and does not realize the binding. However, in the implementation of business processes, only when the abstract business process activities are bound to the actual Web services, then the business processes can be executed. In fact, its whole efficiency can´t meet the real-time need, because the function for binding the abstract process to actual services cannot be realized automatically and its realization mostly depends on human. In this paper, we propose that the business process is made up of a group of activities as well as their transference, and the behaviour of the business process is abstractly described as finite state automata model. We also propose the method for web service composition based on behaviour using computing Cartesian product of the finite state automata. So, the automatic binding between abstract business process and web service transference can be realized in the final.