简析Web服务建模与服务一致性检测技术-设计

论文导读：n},需要论文可以联系人员哦。摘要4-5Abstract5-6目录6-81引言8-131.1课题探讨背景8-91.2探讨近况9-111.3课题探讨内容和策略111.4论文组织结构11-132相关论述概述13-252.1BPEL规范13-192.1.1BPEL进展简史13-142.1.2BPEL相关技术14-152.1.3BPEL的组成15
摘要：随着网络技术的日益进展,凭借开放性、可复用性和平立性等优点,Web服务已经越来越受到企业和个人用户的欢迎。但是,单个的Web服务只能提供简单的功能,而用户们的需求又更加趋于多元化和复杂化,由此Web服务组合应运而生。Web服务组合规范语言多种多样,其中运用最广泛的就是业务流程执行语言WS-BPEL。WS-BPEL语言基于XML规范编写,BPEL直接面向多个已经部署好的Web服务,采取编制的方式对多个服务进行组合,通过BPEL引擎来制约整个流程达到总体的目标,Web服务组合流程是一个复杂的并且容易出错的历程。正因为如此,如何确定BPEL实现的商业进程逻辑的可信性已经成为了学术界关注的焦点。本论文深入探讨了现有的对Web服务组合进行形式化建模和检测策略,并进行总结,建模策略分为三大种方式。在详细浅析了服务组合规范语言WS-BPEL行为的特点后,探讨利用LOTOS作为形式化建模的语言,对BPEL描述的业务流程进行形式化描述,并将CADP集作为工具,通过模型检测的策略对业务组织的历程可信性进行确定,其中具体工作如下：(1)根据WS-BPEL语言的特点,建立了一个通用的LOTOS语言形式化模型框架,提出了一套基于形式化描述语言LOTOS的建模规则,并根据建模规则对WS-BPEL规范中的基本活动和结构化活动进行了建模,实现BPEL规范中的所有构成元素的LOTOS转换。(2)浅析了用户关心的模型需满足的安全性、活动性和公平性等属性,利用时序逻辑语言mu-演算对相应的属性进行建模,最后根据相应属性,利用CADP工具集中的模型检测器Evaluator对建立的模型进行模型检测,最终完成了对BPEL所有组织历程的建模与逻辑检测。(3)设计并实现了将WS-BPEL语言自动转换为LOTOS语言的工具。重点实现LOTOS形式模型框架的建立,WS-BPEL中基本活动和结构化活动的映射。最后通过几个案例说明转换工具生成的模型的可用性。关键词：Web服务测试论文BPEL论文LOTOS论文模型检测论文
本论文由www.7ctime.com,需要论文可以联系人员哦。摘要4-5
Abstract5-6
目录6-8
1 引言8-13

1.1 课题探讨背景8-9

1.2 探讨近况9-11

1.3 课题探讨内容和策略11

1.4 论文组织结构11-13

2 相关论述概述13-25

2.1 BPEL规范13-19

2.

1.1 BPEL进展简史13-14

2.

1.2 BPEL相关技术14-15

2.

1.3 BPEL的组成15-16

2.

1.4 BPEL活动16-18

2.

1.5 BPEL其他结构18-19

2.2 系统建模语言19-22

2.1 LOTOS概述19

2.2 LOTOS操作符19-21

2.3 LOTOS规范的组成21-22

2.3 属性建模语言22-23

2.4 模型检测技术23

2.5 CADP工具集23-24

2.6 小结24-25

3 BPEL流程的LOTOS建模25-37

3.1 LOTOS主行为框架的建立26-27

3.2 基本活动的形式化建模27-31

3.

2.1 BPEL外部活动的建模27-29

3.

2.2 BPEL内部活动的建模29-31

3.3 结构化活动的形式化建模31-35

3.4 其他结构的形式化建模35-36

3.5 本章小结36-37

4 模型检测规约策略的设计与实现37-43

4.1 转换工具的设计37-40

4.

1.1 一致性检测的技术路线37-38

4.

1.2 转换工具的功能描述38

4.

1.3 转换工具的算法设计38-40

4.2 转换工具的实现40-41

4.3 规约策略的实现41-42

4.4 本章小结42-43

5 案例浅析43-61

5.1 房屋贷款案例43-49

5.

1.1 房屋贷款案例介绍43-44

5.

1.2 房屋贷款案例建模44-47

5.

1.3 房屋贷款案例检测结果47-49

5.2 ALE案例49-60
5.

2.1 ALE案例介绍49-50

5.

2.2 ALE案例建模50-59

5.

2.3 ALE案例检测结果59-60

5.3 本章小结60-61
6 结论61-62
参考文献62-65
申请学位期间发表的学术论文65-66
致谢66