Applied Research and Modeling Based on Web Service Choreography Language
Xiao Bo Yang · Advanced materials research · 2013
In order to generate the realization model of business process quickly, a method of formalize model is proposed which based on Web service choreography language in this paper. The specific studying process is as follows. Firstly, several Web services choreography language and its characteristics are introduced, and then analyzed the natural projection and expansion model of service choreography, finally, model checker SPIN is used to simulate and verify the service choreography. The result shows that the succinct service choreography language can create Web service choreography model efficiently, and through the projection rules, which can better meet the needs of the business process implementation.