Research on Petri Net-based Model for Web Services Flow
Guozhong Dai · Jisuanji fangzhen · 2006
Now the Web Services Flow Modeling can only use describing languages such as WSCL, BPEIAWS. The shortcoming of describing languages is that the user can't understand the model at the first sight, so we try to use Petri net in the procedure of Web Services Flow modeling. In this paper, we give a formal definition of Web Services and Web Services Flow, propose a Petri net-based algebra used to model control flow as a necessary constituent of reliable Web service composition process, and Simple Petri net-based Web Services Flow model. To show the merit of this method, we give an example in the last chapter which uses the strictly synchronized SPNs (stochastic Petri nets) model.