基于程序生成的自动化服务组合技术

摘要：

自动化服务组合技术是程序生成方法在Semantic Web Services领域的一种应用.该文提取了服务的"输入"、"输出"、"前置条件"、"执行效果"、"执行功能",定义了服务的语义5元组<I,O,P,E,V>.通过一个转换模版,把服务描述表述成一阶谓词逻辑公式,根据"证明与程序等价"的理论,利用自动化定理证明系统,完成从已有服务到目标服务的逻辑证明,从所记录的证明路径中提取目标服务的实现体,介绍了实现这一技术的原型系统.

关键词：Web服务、服务组合、程序生成、定理证明

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60432010

在线出版日期：2007-11-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：15-17