论文部分内容阅读
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服务的自动组合和验证提供了理论基础。