基于π演算的web service行为交互的建模及死锁现象的研究-modeling of web service behavior interaction and research on deadlock phenomenon based on π calculus.docxVIP

优秀毕业论文 精品参考文献资料 南京邮电大学硕士研究生学位论文 ABSTRACT ABSTRACT With the Information technology developmenting, a single web service has been unable to meet the request of users, so integrated and interactions between web services is needed, that is deployed on the internet web services by different providers based on specific to combine into a new one, and the integrated one will be supply more powerful features to meet users needs. However, if just depends on developers intuitive understanding it will be difficult for developers to grasp the behavior of the system, because of the parallelism, distribution and highly dynamic of a web service system, also in the process of web service interactions may have deadlocks, which affects the quality of the new integrated web services, therefore,it is necessary to verify correctness for integrated web services before deployment. For the diversity of a web service language, paper summarizes the key elements of BPEL modeling to give a derivation for π-calculus theory, and give the key elements of WS-CDL to the π-calculus modeling theory; Against lack of available modeling solutions for mobile workstations MWB,paper also designed a modeling tool HXML,which can automatically 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,and these can quickly tell users where is the exception. Accodding to this idea, paper developd the HXML tool, and test with the travel planning services case to verify the key elements of WS-CDL to the π-calculus modeling theory which the paper presents is correct, and confirmed HXML tool can automatically produce Web service interaction model and locate the position of deadlock. Keywords: Web service；BPEL；model；π-calculus；deadlock II 南京邮电大学硕士研究生学位论文 目录 III 目录 摘 要 I ABSTRACT II 第一章 绪论 1 1.1 课题的研究背景与意义 1 1.2 国内外研究现状 2 1.3 论文的主要工作 3 1.4 论文的组织结构 4 第二章 相关技术及概念 5 2.1 Web 服务概述 5 2.1.1 Web 服务的定义 5 2.1.2 面