基于pi演算的web服务组合模型与wsdl转换

《基于pi演算的web服务组合模型与wsdl转换》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、论文分类号：TP393单位代码10183密级：公开研究生学号2004532024吉林大学硕士学位论文基于Pi演算的Web服务组合模型与WSDL转换TransformingPiCalculus-basedModelforWebServicesCompositontoWSDL作者姓名：浦洁专业：计算机系统结构导师姓名：康辉及职称：副教授学位类别：工学硕士论文起止年月：2006年1月至2007年4月吉林大学硕士学位论文原创性声明本人郑重声明：所呈交的硕士学位论文，是本人在指导教师的指导下，独立进行研究工作所取得的成果。除文中已经注明引用的内容外，本论文不包含任何其他个人或集体已经发

2、表或撰写过的作品成果。对本文的研究做出重要贡献的个人和集体，均已在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。学位论文作者签名：日期：2007年4月25日《中国优秀博硕士学位论文全文数据库》投稿声明研究生院：本人同意《中国优秀博硕士学位论文全文数据库》出版章程的内容，愿意将本人的学位论文委托研究生院向中国学术期刊（光盘版）电子杂志社的《中国优秀博硕士学位论文全文数据库》投稿，希望《中国优秀博硕士学位论文全文数据库》给予出版，并同意在《中国博硕士学位论文评价数据库》和CNKI系列数据库中使用，同意按章程规定享受相关权益。论文级别：■硕士□博士学科专业：计算机系

3、统结构论文题目：基于Pi演算的Web服务组合模型与WSDL转换作者签名：指导教师签名：2007年4月25日作者联系地址（邮编）：吉林大学计算机科学与技术学院（130012）作者联系电话：13504473290作者姓名浦洁论文分类号TP393保密级别公开研究生学号2004532024学位类别工学硕士授予学位单位吉林大学计算机培养单位计算机专业名称系统结构（院、所、中心）科学与技术学院2004年9月研究方向Web服务学习时间至2007年6月论文中文题目基于Pi演算的Web服务组合模型与WSDL转换TransformingPiCalculus-basedModelforWeb论文英

4、文题目ServicesCompositontoWSDL关键词(3-8个)Pi演算，WSDL，Web服务组合，PICM2WSDL姓名康辉职称副教授导师情况学历学位硕士工作单位计算机科学与技术学院论文提交日期2007年4月答辩日期2007年6月日是否基金资助项目否基金类别及编号如已经出版，请填写以下内容出版地（城出版者（机构）名称市名、省名）出版日期出版者地址（包括邮编）提要Web服务的价值在于服务重用，而重用的目的则是使服务增值。重用现有Web服务的最好办法就是组合。为了解决Web服务组合的问题，学术界和工业界提出两种基本方法：一种是借助人工智能的思想，如：[3,16]语义We

5、b服务；另一种是流程组合服务的思想，其建模和验证常用[2,16]Petri网和进程代数等形式化方法。Pi演算可以描述不断变化的系统，所以应用Pi演算理论更有利于描述动态Web服务组合。本文应用流程组合服务的思想，首先介绍了Web服务组合与Pi演算的基本原理。继而，作者运用Pi演算建模Web服务组合，提出了Pi演算模型与WSDL转换(Pi-CaculusModeltoWebServiceDescriptionLanguage，文中简称PICM2WSDL)的模型。阐述了在Web服务组合中PICM2WSDL的作用。论证了基于Pi演算理论创建Web服务组合模型与WSDL语言转换的正确

6、性。创建了PICM2WSDL模型，以及通过形式化方法所建立的Web服务组合模型与WSDL转化的实现方法。本文通过名称识别，表达式解析，语义分析以及目标文档的生成四部分来分别阐述Web服务组合的Pi演算模型与WSDL转化的实现过程。关键字：Pi演算，WSDL，Web服务组合，PICM2WSDL目录第一章绪论.........................................................................................11.1背景简介.........................................

7、................................................11.2现有技术水平.................................................................................21.3本文的主要工作.............................................................................21.4本文结构...................