基于代数规约的Web服务组合形式化描述技术研究

目录

声明

摘要

1绪论

1．1研究背景

1．2相关技术和研究现状

1．2．1 Web服务和Web服务描述

1．2．2 Web服务组合

1．2．3代数规约方法

1．3研究内容

1．4论文结构

2面向服务系统的代数规约及描述语言

2．1面向服务系统的代数规约及SOFIA语法

2．1．1系统的规约定义及语法

2．1．2系统的基调定义及语法

2．1．3系统的公理定义及语法

2．2面向服务系统代数规约的语义

2．3 SOFIA语言解析器的设计与实现

2．3．1解析器的整体结构

2．3．2基于JavaCC的解析器的设计

2．3．3等式中项的处理思路

2．3．4解析工具演示

2．4本章小结

3服务组合的代数规约方法

3．1规约包机制

3．1．1规约包概念

3．1．2 SOFIA中规约包的表示

3．2服务组合的代数规约方法

3．2．1服务组合代数规约的结构

3．2．2抽象规约包

3．2．3实现规约包

3．3组合规约之间的实现关系

3．4实现关系推导算法与工具

3．4．1推导算法

3．4．2推导工具

3．5本章小结

4案例研究及方法分析

4．1案例一：机票订购组合服务

4．1．1整体结构

4．1．2被组合服务的规约

4．1．3服务组合的抽象规约

4．1．4组合实现的实现规约

4．1．5证明实现关系

4．2案例二：AlvmCyber组合服务

4．2．1整体结构

4．2．2被组合服务的规约

4．2．3组合服务抽象规约

4．2．5证明实现关系

4．3案例三：农分期借贷组合服务

4．3．1整体结构

4．3．2被组合服务的规约

4．3．3组合服务抽象规约

4．3．4组合服务实现规约

4．3．5证明实现关系

4．4方法分析

4．5本章小结

5总结和展望

致谢

参考文献

附录A

附录B