Ws-cdl With Csp Automated Mapping And Validation Studies

The automation of business process eager to need a process description language which can describe the the process yielded in the loss coupling sense. The business process description language WS-CDL which is based choreography can meet the challenge. It can work by no central controlling and only need some appointment made by the interaction of the process participators. SO it has the advantage of flexibility, and the module of a process which described by it can be reused many times. Unfortunately, using this method to descripe the process can hide many bugs of the process.This paper gives a way to mapping WS-CDL document to Communcinating Sequence Process which can use expression to describe the process which described by WS-CDL. The product of the method is a communicating sequence process expression which can be expressed by computer program language directly. And the expression also preserves the quality of the process. The purpose of modeling is to check the quality, so this paper also gives some methods to check the quality of the communicating sequence process expression using this way to check the quality of the process. The methods include traces refinement and struct refinement and so on. At last, this paper gives a way to check the qualities of communicating sequence process expression in a automation way which gets help of CSP quality checking tool FDR2. In this way, we can achieve the purpose of check the quanlity of business in an automation way.Using the methods raised in this paper can achieve the purpose modeling the process and checking the quilaties of process automately. Besides these, this paper also gives some methods to prove the quanlities of process in a manual way. By the intrudution of this paper, we can see that communicating sequence process model abstracted from WS-CDL document can describe and check the qualities of business which proves the basises for the automation of business process.