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

• 作者: 叶力 陈俊亮
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Web服务 服务组合 程序生成 定理证明
• 年，卷（期）: 2007,（18）
• 所属期刊栏目: 博士论文
• 页码范围: 15-17
• 页数: 3页
• 分类号: TP311
• 字数: 4016字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.18.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈俊亮	北京邮电大学网络与交换国家重点实验室	154	1938	21.0	38.0
2	叶力	北京邮电大学网络与交换国家重点实验室	1	6	1.0	1.0