WSCI Formal Model Analysis Based on Petri Nets
Hanpin Wang · Computer Engineering and Science · 2009
WSCI is a choreography language that describes the composition of Web services.For business processes,any design fault will lead to a huge loss.Therefore,for the sake of correct deployment of business processes,it is necessary to formalize WSCI and analyze its model.This paper proposes an analytical method of WSCI:firstly we introduce the formal model,secondly present the important concept of net fusion in order to get an integrated model,and finally use the reachability graph to analyze WSCI with exception handling.