基于petri网的web服务业务流程验证研究及工具实现-计算机软件与理论专业论文.docxVIP

Research on Web Services Business Flow Based on Petri Net And Tool Implementation Abstract Web Services have provided art effective way of data sharing and function for Internet application and have solved the problem of inter-operationintegration and collaboration in isomerous applications．With the development and widely application of Web Services，Web Services composition technology has become the key problem of Web services study．Web services composition which basing on work flow is a common policy of dynamic Web services composition． Web services process model is described by Web service integration language which bases on XML．This language can describe Web service process model and it also can be executed by Web service process interpretation engine as a executable language．But the shortcoming of Web service integration language is that it can not express Web service process model visually by graphics and it does not benefit that business personnel join the establishing of Web service process model．In addition， it is hard to analysis the model because of lacking the formalization semanteme． Petri Web is a visual math modeling tool，it can describe work flow by visual way and check the validity of work flow and analysis the performance． In this dissertatition，we import the Petri net Web into work flow modelinganalysis work flow model by its dynamic characteristic and add the validation mechanism into work flow model．Firstly it translates the services integration language into Petri Net；then，we can analysis business flow by method such as Coverabi l ity Tree，Incidence Matrix and State Equation and Transitive Matrix to validate the correctness of Web service process flow． Finally we have designed and realized the Web services business flow validating t001．It can help design personnel to describe services process visually and ensure the correctness and reliability of service process by services process validating． Keywords：web services composition，Petri Net，work