Modeling mobile Web services flow using generalized stochastic high-level Petri net

With the development of wireless communication, people can exchange information more conveniently than ever. On the other hand, Web services also provide a language-neutral, loosely-coupled, and platform-independent way for linking applications within organizations or enterprises across the Internet. By integrating these two techniques, IBM and Microsoft both have proposed a framework and model for mobile Web services. We introduce the mobile Web services framework and its principal components, and represent them by modeling the flow of messages and methods in a Web service transaction using generalized stochastic high-level Petri net (GSHLPN). Our model can assist Web service designers to avoid deadlock of Web flows and ensure normal termination of the Web services´ transaction.