基于进程网络的Web服务组合建模和验证方法研究

项目名称： 基于进程网络的Web服务组合建模和验证方法研究

项目编号： No.60973013

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 张秀国

作者单位： 大连海事大学

项目金额： 30万元

中文摘要： 利用形式化方法进行Web服务组合建模及验证是保证Web服务组合正确性与可靠性的重要手段。但是，当前用于Web服务组合建模的形式化方法均侧重于对模型进行描述、分析和验证，缺乏对底层实现的有效支持。本课题引入基于Kahn进程网络的Web服务组合建模方法，不仅支持组合系统的高层建模，而且支持系统的底层实现。针对当前主流的基于WSDL标准的Web服务组合语言缺乏形式化基础且对Web服务行为缺乏有效约束的不足，设计了一种新的基于Kahn进程网络的Web服务组合建模语言（CCML）。采用CCS进程代数对CCML语言描述的应用系统模型进行形式化验证，以保证服务组合的正确性。通过实现支持Web服务标准协议的分布式Kahn进程网络和CCML语言解释器，达到应用系统模型实现的目的。本课题研究成果将推动Web服务组合技术向更高层次发展，进一步加速Web服务组合技术的实际应用。

中文关键词： Web服务；服务组合；形式化验证；Kahn进程网络；CCS进程代数

英文摘要：

英文关键词： Web Service；Service Composition；Formal Verification；Kahn Process Network(KPN)；CCS Process Algebra