Research Of Web Service Modeling And Phenomenon Of Deadlock Based On π Calculus

With the Information technology developmenting, a single web service has been unable tomeet the request of users, so integrated and interactions between web services is needed, that isdeployed on the internet web services by different providers based on specific to combine into anew one, and the integrated one will be supply more powerful features to meet users’ needs.However, if just depends on developer’s intuitive understanding it will be difficult fordevelopers to grasp the behavior of the system, because of the parallelism, distribution andhighly dynamic of a web service system, also in the process of web service interactions mayhave deadlocks, which affects the quality of the new integrated web services, therefore,it isnecessary to verify correctness for integrated web services before deployment.For the diversity of a web service language, paper summarizes the key elements ofBPEL modeling to give a derivation for π-calculus theory, and give the key elements ofWS-CDL to the π-calculus modeling theory; Against lack of available modeling solutions formobile workstations MWB,paper also designed a modeling tool HXML,which canautomatically give the modeling process for web services interaction and show these to users;Paper also show the feature about deadlock detecting of designed tool HXML deadlock,andthese can quickly tell users where is the exception.Accodding to this idea, paper developd the HXML tool, and test with the travelplanning services case to verify the key elements of WS-CDL to the π-calculus modeling theorywhich the paper presents is correct, and confirmed HXML tool can automatically produce Webservice interaction model and locate the position of deadlock.