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

基于日志的Web组合服务交互行为一致性分析研究

王益芳  
【摘要】:随着信息技术的发展,越来越多的信息以Web服务的形式提供给用户。然而单个Web服务功能有限,因此需要构造组合服务来实现功能多样化。但是将单个Web服务组合以后,可能会引发Web组合服务交互行为与BPEL流程规约之间不一致的问题。本文对Web组合服务的行为进行一致性验证就是为了保证组合服务实际运行时的交互行为符合BPEL流程规约,主要研究内容介绍如下:第一,为基于BPEL格式的Web组合服务规约建立了接口自动机模型,并对该模型的形式化定义进行了扩展。本文的建模方法考虑了流程的行为约束和数据约束两个方面。第二,通过log4j技术来获取Web组合服务实际运行的交互行为日志信息,并将信息存储到log文件中。之后解析日志信息得到日志行为序列,用于行为一致性验证。第三,设计了行为一致性验证算法,该算法能够验证Web组合服务运行时交互行为是否符合其BPEL流程规约。第四,实现了一个验证原型用于验证本文算法,并通过Book System实例验证了该原型的功能。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 黄纬;宋顺林;;面向过程的组合服务执行研究[J];南京气象学院学报;2008年06期
2 刘磊;宋雅娟;任平;;一种面向组合服务的语义Web服务发现方法[J];吉林大学学报(理学版);2010年02期
3 王勇;代桂平;侯亚荣;方娟;毛国君;;基于结构化模型的组合服务选择算法[J];北京工业大学学报;2010年06期
4 王晓璇;鲍爱华;缪嘉嘉;丁科;王真;;一种面向语义Web的组合服务演化方法研究[J];计算机科学;2011年02期
5 张明卫;张斌;张锡哲;朱志良;;一种基于划分的组合服务选取方法[J];计算机研究与发展;2012年05期
6 邓婷;怀进鹏;沃天宇;;正确性保证的组合服务综合问题复杂度研究[J];中国科学:信息科学;2012年07期
7 蔡任杰;张斌;高岩;李飞;;面向环境自适应组合服务系统的环境变化识别[J];小型微型计算机系统;2012年09期
8 公帅;熊锦华;刘志勇;;面向最终用户的组合服务推荐[J];计算机集成制造系统;2013年08期
9 叶世阳;魏峻;李磊;黄涛;;支持服务关联的组合服务选择方法研究[J];计算机学报;2008年08期
10 黄纬;宋顺林;;组合服务数据传输的研究[J];计算机工程;2009年18期
11 杨雷;代钰;刘福凯;张斌;;面向自适应的组合服务动态调整方法[J];东南大学学报(自然科学版);2011年03期
12 余莹;;组合服务交互测试研究综述[J];计算机工程;2013年05期
13 万一东;朱先远;;基于时间依赖网络的组合服务快速选择算法[J];芜湖职业技术学院学报;2013年01期
14 张艳梅;曹怀虎;;基于覆盖网络模型的跨领域组合服务优化问题研究[J];计算机科学;2014年04期
15 袁小玲;李心科;;基于双向动态规划质量有保障的组合服务选取[J];合肥工业大学学报(自然科学版);2009年04期
16 代钰;杨雷;朱志良;张斌;;避免无用重选取的QoS劣化阈值模型及计算[J];东北大学学报(自然科学版);2009年10期
17 王勇;代桂平;侯亚荣;方娟;毛国君;;基于贝叶斯网络的组合服务信任度评估方法[J];高技术通讯;2010年01期
18 张同光;石庆民;张龙昌;苏红亮;;复杂上下文感知的组合服务选择框架[J];电信科学;2011年08期
19 李俊;郑小林;陈德人;;基于信任的组合服务选择方法[J];浙江大学学报(工学版);2012年05期
20 ;ELO TOUCH SOLUTIONS扩展全渠道产品组合服务[J];办公自动化;2014年02期
中国重要会议论文全文数据库 前5条
1 袁阳;闫莺;岳昆;王晓玲;周傲英;;质量驱动的频繁组合服务选择[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
2 李飞;张斌;葛亮;孙若男;;面向组合服务自适应执行的环境感知引擎[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
3 周伟;杨正球;;组合服务中QoS全局最优服务选择算法的改进[A];中国电子学会第十六届信息论学术年会论文集[C];2009年
4 毛可;周献中;杨佩;徐锋;;基于历史事例推理的军事服务推荐研究[A];2014第二届中国指挥控制大会论文集(上)[C];2014年
5 刘胜;商秀芹;刘希未;吕宜生;熊刚;朱凤华;董西松;;基于分析树的Web组合服务组合优化方法[A];第八届(2013)中国管理学年会——平行管理分会场论文集[C];2013年
中国博士学位论文全文数据库 前10条
1 喻波;Web服务组合的关键安全技术研究[D];国防科学技术大学;2013年
2 张龙昌;面向复杂上下文的组合服务决策方法研究[D];北京邮电大学;2011年
3 鲍爱华;语义Web环境下组合服务演化方法及其关键技术研究[D];国防科学技术大学;2009年
4 张明卫;基于执行信息的组合服务优化选取方法研究[D];东北大学;2011年
5 黄纬;上下文感知的普适服务组合研究[D];江苏大学;2008年
6 周航;基于质量有色Petri网的Web组合服务建模与冲突、冲撞研究[D];南京航空航天大学;2009年
7 陈蕾蕾;SOA中服务质量建模、预测及保障[D];复旦大学;2012年
8 李飞;Web服务的分布式QoS管理及其关键技术研究[D];北京邮电大学;2008年
9 卢刘明;基于语义的web服务发现与组合关键技术研究[D];东华大学;2006年
10 吴江霞;Web组合服务QoS属性预测方法研究[D];北京邮电大学;2008年
中国硕士学位论文全文数据库 前10条
1 王益芳;基于日志的Web组合服务交互行为一致性分析研究[D];内蒙古大学;2015年
2 冯运萍;基于仿真的组合Web服务可靠性分析工具的研究与设计[D];哈尔滨工业大学;2015年
3 曾慧琼;组合服务的事务性研究[D];中南大学;2008年
4 汪检跃;面向服务环境的组合服务计费方法研究[D];浙江大学;2011年
5 张翔宇;支持多策略的组合服务运行时环境自适应机制研究[D];东北大学;2010年
6 孙若男;面向组合服务自适应执行的服务选取方法[D];东北大学;2010年
7 刘福凯;组合服务混合执行机制的研究与实现[D];东北大学;2011年
8 董鹏翔;基于服务交互模型的组合服务环境自适应执行方法[D];东北大学;2012年
9 郭光辉;组合服务分布式执行优化技术研究[D];西安电子科技大学;2011年
10 李飞;面向组合服务自适应的环境感知方法的研究与实现[D];东北大学;2010年
中国重要报纸全文数据库 前1条
1 本报通讯员 惠燕;神东申报国家科技支撑计划项目获准立项[N];榆林日报;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978