基于Pi-演算的Web服务形式化描述模型

摘要

Web服务组合使得开发者可以基于面向服务的计算无缝地访问众多分布式服务,组合在一起解决复杂问题。大多数Web服务是独立开发并运行在异构平台上的,为了能够实现它们之间的服务组合,需要能够兼容其异构性的服务组合描述方法以及对组合后的服务进行验证或测试的方法。
　　本文在总结以前的研究结果的基础上,以Pi-演算为基础,建立了Web服务形式化描述模型PiFM4WS,对Web服务以及Web服务组合的主要行为进行描述,为Web服务组合的动态体系结构提供统一的描述方法;将基于不同视角的Web服务组合描述规范的主要行为映射到PiFM4WS中,说明经过映射之后的两类描述规范具有等价性;将类型系统加入PiFM4WS模型中,细化了Web服务的相容性,提出可替换性的概念和验证方法;在PiFM4WS模型中对服务网络进行描述,为实现Web服务组合的自动化提供理论基础。本文所取得的主要研究成果如下:
　　(1)建立Web服务形式化描述模型PiFM4WS:给出Web服务外部和内部行为的描述,即PiFM4WS的语法结构定义;给出Web服务经由交互发生组合的行为,即PiFM4WS的同构规则和操作语义。
　　(2)为两类基于不同视角的描述规范的主要行为提供映射规则:为BPEL4WS规范以及WS-CDL规范的概念和各类行为提供PiFM4WS的描述方法,从语法定义和操作语义的角度说明两类不同规范的等价性,并指出PiFM4WS提供的对动态体系结构的描述方法是现有描述规范无法实现的。
　　(3)基于类型化PiFM4WS的Web服务组合验证:将类型系统加入PiFM4WS中,根据子类型的关系细化Web服务的相容性,给出Web服务的可替换性的定义;根据信道是否和业务流程相关进行分类,结合Pi-演算中的代换算法,提出在动态体系结构下的Web服务可替换性的验证方法。
　　(4)对服务网络进行形式化描述,为实现Web服务自动组合提供理论基础:将抽象服务和具体服务之间的通信信道进行结构的抽象和描述,为服务关系的形式化描述建立理论基础。
　　综上所述,本文提出的形式化描述模型PiFM4WS、类型化的PiFM4WS以及服务网络的形式化描述,为Web服务组合提供了统一的形式化描述和验证框架,为实现Web服务的自动组合和验证提供了理论基础。

目录

封面

声明

中文摘要

英文摘要

目录

第一章 绪 论

1.1课题研究的背景

1.2国内外研究现状

1.3研究目标和主要研究内容

1.4论文结构

第二章 Web服务形式化描述模型PiFM4WS

2.1 Pi-演算简介

2.2 PiFM4WS的概念定义

2.3 PiFM4WS的语法定义

2.4 PiFM4WS的同构规则

2.5 PiFM4WS的操作语义

2.6本章小结

第三章 WS-CDL和BPEL4WS在PiFM4WS中的映射

3.1 BPEL4WS的映射规则

3.2 WS-CDL的映射规则

3.3 WS-CDL和BPEL4WS映射的等价性

3.4本章小结

第四章 类型化的Web服务形式化描述模型

4.1问题概述

4.2扩充的Pi-演算类型系统

4.3类型化PiFM4WS的定义

4.4类型化PiFM4WS的判定规则

4.5本章小结

第五章 Web服务的可替换性及其验证方法

5.1 Pi-演算中进程的等价性

5.2 Web服务的可替换性

5.3 Web服务的可替换性验证方法

5.4 Web服务可替换性的实例说明

5.5本章小结

第六章 服务网络中的Web服务形式化描述

6.1服务网络的形式化描述

6.2用Pi-演算对服务网络的形式化模型进行描述

6.3服务网络形式化描述的应用

6.4本章小结

第七章 结束语

7.1本文工作总结

7.2将来进一步的研究方向

参考文献

发表论文和科研情况说明

致谢