Researches on the Modeling and Verification of BPE14WS Based on Spin
Zhou Jiao-rong · 2010
One of important issues in web service composition researching area is how to describe web service composition formally and verify the correctness.A formal model of web service composition can be used to check and verify web service composition so that the correctness of web service composition can be guaranteed.This paper gives the transform method from BPEL4WS to Promela and verifies the model based on SPIN.At last,this paper gives an example of web service composition and the model checking method through verifying the safeness,liveness and boundness of the model.