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

发布时间：2017-09-08 17:03

  本文关键词：基于日志的Web组合服务交互行为一致性分析研究

  更多相关文章： BPEL 接口自动机 日志 Web服务

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

• 摘要4-5
• ABSTRACT5-11
• 第一章 引言11-15
• 1.1 研究背景11
• 1.2 研究现状11-13
• 1.3 研究内容13-14
• 1.4 论文结构14-15
• 第二章 背景知识介绍15-24
• 2.1 BPEL与WSDL介绍15-17
• 2.1.1 Web服务描述语言-WSDL15
• 2.1.2 Web服务组合语言-BPEL15-17
• 2.1.3 BPEL与WSDL的关系17
• 2.2 接口自动机简介17-19
• 2.2.1 非形式化描述17-18
• 2.2.2 形式化定义18-19
• 2.2.3 特点及意义19
• 2.3 LOG4J介绍19-23
• 2.3.1 log4j的组成20-22
• 2.3.2 log4j的用法22-23
• 2.4 本章小结23-24
• 第三章 基于接口自动机的WEB组合服务建模24-36
• 3.1 BPEL流程转换为接口自动机模型25-28
• 3.1.1 消息变量转换为接口自动机模型25
• 3.1.2 基本活动转换为接口自动机模型25-27
• 3.1.3 结构化活动转换为接口自动机模型27-28
• 3.2 扩展的接口自动机模型28-33
• 3.2.1 扩展的目的28-29
• 3.2.2 扩展的方法29-30
• 3.2.3 Book System实例30-33
• 3.3 提取接口自动机模型中的可达路径33-35
• 3.4 本章小结35-36
• 第四章 WEB组合服务的日志分析36-39
• 4.1 由WEB组合服务生成日志36
• 4.1.1 记录日志36
• 4.1.2 输出日志36
• 4.2 解析日志得到行为序列36-38
• 4.2.1 生成行为序列的算法36-37
• 4.2.2 Book System实例举例37-38
• 4.3 本章小结38-39
• 第五章 行为一致性验证算法39-43
• 5.1 行为一致性描述39
• 5.2 算法介绍39-41
• 5.3 BOOK SYSTEM实例举例41-42
• 5.4 本章小结42-43
• 第六章 WEB组合服务行为一致性验证原型的实现43-50
• 6.1 实验过程43-44
• 6.2 原型功能44-45
• 6.3 原型实现45-46
• 6.3.1 开发环境45
• 6.3.2 原型主界面45-46
• 6.4 BOOK SYSTEM实例分析46-49
• 6.5 本章小结49-50
• 第七章 总结与展望50-52
• 7.1 总结50
• 7.2 本文优点50-51
• 7.3 展望51-52
• 参考文献52-55
• 致谢55

【参考文献】

中国期刊全文数据库 前3条

1 邓桂英;组合Web服务中的数据一致性保持策略[J];上海理工大学学报;2004年06期

2 张岩;胡军;于笑丰;李宣东;郑国梁;;接口自动机——一种用于组件组合的形式系统[J];计算机科学;2005年11期

3 张亚红;张琳琳;赵楷;陈佳丽;冯在文;;基于UML2.0序列图的Web服务运行时验证方法[J];计算机科学;2013年07期

中国博士学位论文全文数据库 前1条

1 邓水光;Web服务自动组合与形式化验证的研究[D];浙江大学;2007年

中国硕士学位论文全文数据库 前4条

1 韩仲志;面向Web组合服务的运行时监控技术研究[D];国防科学技术大学;2011年

2 苏焕程;一种基于接口自动机的BPEL4WS行为一致性的验证及适配方法[D];南京航空航天大学;2009年

3 王文文;Web服务建模与服务一致性检测技术研究[D];北方工业大学;2012年

4 杨蕾;基于SSH2+Log4J的钢厂材料管理系统的设计[D];复旦大学;2013年

，

本文编号：815221