中文摘要：

随着服务粒度的增大，服务间的交互过程可能相当复杂，服务合成的有效性和兼容性将难以得到保证。本项目通过研究服务交互时的状态变迁、过程流转、消息传递等动态行为，对建立完善的Web服务合成模型、验证服务间的等价性和兼容性、提高服务查询匹配准确率、提高服务合成有效性和可用性等都具有重要意义。本项目采用PI演算和类型理论等形式语义学方法对基于服务行为的服务合成进行研究。首先，扩展标准PI演算理论，使其具备刻画服务行为与服务的交互模式的能力，实现Web服务行为的形式化建模。其次，基于Web服务行为，结合服务合成的上下文环境，提出Web服务完全兼容和部分兼容理论，以及相应的判定算法和计算模型。同时，在此基础上提出服务行为相似度量化方法和考虑了服务行为的高性能服务搜索算法。此外，对基于服务行为的服务合成与验证算法的实用性和正确性、以及算法效率进行理论分析和试验论证。

结论摘要：

随着服务粒度的增大，服务间的交互过程可能相当复杂，服务合成的有效性和兼容性将难以得到保证。本项目通过研究服务交互时的状态变迁、过程流转、消息传递等动态行为，对建立完善的Web服务合成模型、验证服务间的等价性和兼容性、提高服务查询匹配准确率、提高服务合成有效性和可用性等都具有重要意义。本项目采用PI演算和类型理论等形式语义学方法对基于服务行为的服务合成进行研究。首先，扩展标准PI演算理论，使其具备刻画服务行为与服务的交互模式的能力，实现Web服务行为的形式化建模。其次，基于Web服务行为，结合服务合成的上下文环境，提出Web服务完全兼容和部分兼容理论，以及相应的判定算法和计算模型。同时，在此基础上提出服务行为相似度量化方法和考虑了服务行为的高性能服务搜索算法。此外，对基于服务行为的服务合成与验证算法的实用性和正确性、以及算法效率进行理论分析。