收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于Pi演算的Web服务组合技术研究

李延红  
【摘要】:面对服务的体系架构(Service-Oriented Architecture,SOA)是分布式计算和软件开发的最新发展方向,Web服务作为SOA的实现方式之一,其价值在于解决与客户无关的服务重用,Web服务组合技术具有松散耦合性,可以很好的解决复杂服务的集成问题。为了确保Web服务组合技术的正确性。我们可以用形式化方法来对Web服务组合技术进行检验。形式化描述Web服务组合并验证服务组合的正确性是Web服务组合研究领域的一个重要问题。Web服务组合的形式化模型可以用来检查、验证Web服务组合以保证组合的逻辑正确性。Web服务的执行在随时间变化而不断变化的网络环境中,因此Web服务组合需要在动态变化的过程中由多个简单Web服务集成,所以使得Web服务组合的验证比简单Web服务的验证的难度更大。 Pi演算是一种移动进程代数规范,可用于对并发和动态变化的系统进行建模并进行形式化描述,所以用在对Web服务组合的形式化描述方面非常合适。文中说明了Pi演算与以前形式化方法的不同之处,Pi演算对动态系统的描述的优越性,分析了Pi演算应用于Web服务组合需要解决的问题.最后针对目前最主要的两种规范Web本体论语言(Ontology Web Langage-Semantic,简称OWL-S)及Web服务商业流程执行语言WS-BPEL(Web Services Business Process Execution Language),给出了在OWL-S与WS-BPEL框架下的基于Pi演算的形式化描述并建立了基于Pi演算的形式化模型,最后分别通过案例给出了模型验证的方法。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李方敏;CGI的安全编程[J];计算机工程与应用;1999年06期
2 宋如顺,姜乃松;基于Web的远程考试系统设计与实现[J];计算机工程;1999年06期
3 王红霞,姚家亮;利用ASP构建新型信息系统的方法与实现[J];计算机应用;1999年09期
4 邓劲生,张银福;面向对象的多媒体信息WEB发布[J];计算机应用研究;1999年09期
5 刁兴春,李赤红;Intranet环境下事务处理的理论研究和实现[J];小型微型计算机系统;1999年06期
6 高昆;基于ASP的WEB站点开发技术分析[J];北华大学学报(社会科学版);1999年05期
7 王清心,胡建华;经贸数据库的WEB集成发布[J];昆明理工大学学报;1999年02期
8 李晶,朱秋萍;Web页制作中的动态表现技术[J];计算机工程;2000年06期
9 刘波,代亚非,杜跃进;远程协同教学系统中课程搜索子系统设计[J];计算机应用;2000年06期
10 武庄,刘友丹;基于Web的企业内部质量审核系统设计与实现[J];计算机应用研究;2000年05期
11 梁开健,刘新民;基于ASP的图书馆Web数据库开发[J];高校图书馆工作;2000年04期
12 张睿光,黄玉超;基于ASP技术的气象信息系统软件设计[J];河南气象;2000年01期
13 张少敏,王保义;基于Web的管理信息系统方案及其安全性[J];华北电力大学学报;2001年01期
14 贺文,顾训穰;基于Web的客户端电子邮件系统的实现[J];计算机工程与应用;2001年08期
15 刘国华,包宏,李文超;基于WEB的人工神经网络材料设计系统[J];计算机工程与应用;2001年20期
16 冯晓君,李也白;构建Internet环境下的CAI课件数据库系统[J];计算机应用;2001年03期
17 陈扬枝,张见威;基于Web的机械设计材料库系统[J];现代制造工程;2001年12期
18 沈祥玖,李作纬,宋义发,尹涛;利用ASP实现对Web数据库的访问[J];济南交通高等专科学校学报;2001年02期
19 张静芳,陶跃军;刍议《中文期刊数据库》Web版全文检索系统[J];图书馆学研究;2001年02期
20 曹向东,邓毅华,李斯伟;一种网络化教学信息管理系统的开发与设计[J];中国数据通信;2001年03期
中国重要会议论文全文数据库 前10条
1 张玉军;李心科;;面向自然语言描述的Web服务组合[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
2 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
3 袁兆山;吴亮;;QoS驱动的事务性WEB服务组合[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
4 黄胜;彭敦陆;王晓玲;周傲英;;基于与或树搜索的快速Web服务组合方法[A];第二十二届中国数据库学术会议论文集(研究报告篇)[C];2005年
5 李利波;刘明利;;一种改进的无回溯反向Web服务动态组合方法[A];2011年全国通信安全学术会议论文集[C];2011年
6 陶冶;刘建勋;唐明董;;基于Map/Reduce的分布式Web服务搜索引擎设计与实现[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
7 付晓东;邹平;;基于元流程的Web服务组合例外处理模型[A];第二十六届中国控制会议论文集[C];2007年
8 徐明迪;赵恒;张焕国;;面向可靠性的动态Web服务组合选择策略研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
9 于冰;于守健;丁祥武;乐嘉锦;;基于多层次接口匹配的语义Web服务自动组合研究[A];第二十二届中国数据库学术会议论文集(技术报告篇)[C];2005年
10 吴亮;袁兆山;;基于模糊Petri网的语义Web服务组合[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(上册)[C];2009年
中国博士学位论文全文数据库 前10条
1 李德胜;基于Pi演算的Web服务组合研究[D];北京邮电大学;2011年
2 曹洪江;基于用户需求的Web服务组合系统研究[D];武汉理工大学;2010年
3 包力;Web服务组合形式化建模与验证研究[D];大连海事大学;2009年
4 刘莉平;动态Web服务组合关键技术研究[D];中南大学;2011年
5 张杨;语义Web服务组合的可信性度量研究[D];重庆大学;2011年
6 刘林源;Web服务组合隐私分析与验证研究[D];南京航空航天大学;2011年
7 周宁;Web服务组合中若干问题的研究[D];南京大学;2011年
8 鲍亮;基于函数式编程的Web服务组合技术研究[D];西安电子科技大学;2010年
9 宋雅娟;Web服务组合方法研究[D];吉林大学;2011年
10 付晓东;Web服务组合服务质量保障关键问题研究[D];昆明理工大学;2008年
中国硕士学位论文全文数据库 前10条
1 李延红;基于Pi演算的Web服务组合技术研究[D];山东经济学院;2011年
2 赵伟伟;基于冗余的可靠Web服务组合方法研究[D];燕山大学;2010年
3 陈楠;语义Web服务组合相关技术研究[D];中南大学;2010年
4 丁卫东;基于QoS的Web服务组合优化选取问题研究[D];曲阜师范大学;2011年
5 谭征;一种Web服务组合的自动化模型检测方法[D];桂林电子科技大学;2010年
6 熊向辉;Web服务组合形式化验证和服务选择算法研究[D];浙江大学;2010年
7 田加正;物联网环境下基于QoS的Web服务组合研究[D];中国石油大学;2011年
8 何亚丽;基于XYZ/ADL的Web服务组合验证研究[D];苏州大学;2010年
9 袁东维;基于SLA的语义Web服务组合[D];陕西师范大学;2010年
10 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
中国重要报纸全文数据库 前10条
1 赵晓涛;Web安全 服务为王[N];网络世界;2008年
2 本报记者 赵晓涛;Web安全:历史的命题[N];网络世界;2008年
3 彭敏;企业级Web2.0迎来应用高潮[N];电脑商报;2009年
4 本报记者 毛江华;安启华联手赛门铁克 掘金Web安全[N];计算机世界;2009年
5 闫冰;“推”出Web交付新天地[N];网络世界;2009年
6 赵晓涛;中国成全球Web安全新看点[N];网络世界;2009年
7 边歆;动态阻断Web2.0威胁[N];网络世界;2009年
8 泰乐公司首席技术官兼执行副总裁Vikram Saksena;学习Web 3.0 做聪明的“管道工”[N];通信产业报;2009年
9 ;Web2.0工具使用须谨慎[N];网络世界;2009年
10 Anchiva中国区总经理 李松;Web安全选型三个标准[N];网络世界;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978