Open-bisimulation checking of Web Services combination
Liu Rong-sheng · Journal of Computer Applications · 2006
In order to check the congruence between the user's demand and implementation of Web Services combination, an auto-checking method was proposed in this paper. It was based on the knowledge of open π-bisimulation and checking tools. First, the user's demand and BPEL4WS program were modeled by π-calculus respectively. Then, weak open-bisimulation was done to them. When they were dissimulating, the checking tool can mark the dissimulation part of BPEL4WS program. In the end, a case study was made to show the feasibility of the method.