| 基于涟波下降规则的设计知识管理系统 |
| |
| 引用本文： | 张 曌,夏国平,李雪峰,王 君.基于涟波下降规则的设计知识管理系统[J].计算机工程,2007,33(18):230-232,. |
| |
| 作者姓名： | 张 曌 夏国平 李雪峰 王 君 |
| |
| 作者单位： | 北京邮电大学网络与交换国家重点实验室 北京100876 |
| |
| 摘 要： | 自动化服务组合技术是程序生成方法在Semantic Web Services领域的一种应用.该文提取了服务的"输入"、"输出"、"前置条件"、"执行效果"、"执行功能",定义了服务的语义5元组.通过一个转换模版,把服务描述表述成一阶谓词逻辑公式,根据"证明与程序等价"的理论,利用自动化定理证明系统,完成从已有服务到目标服务的逻辑证明,从所记录的证明路径中提取目标服务的实现体,介绍了实现这一技术的原型系统.
|
| 关 键 词： | Web服务 服务组合 程序生成 定理证明 程序生成 自动化 服务 组合技术 Synthesis Program Service Composition 原型系统 路径 记录 逻辑证明 目标 定理证明系统 利用 理论 逻辑公式 一阶谓词 描述表 模版 转换 |
| 文章编号： | 1000-3428（2007）18-0015-03 |
| 修稿时间： | 2006-09-26 |
Design Knowledge Management System Based on Ripple Down Rules |
| |
| YE Li,CHEN Jun-liang.Design Knowledge Management System Based on Ripple Down Rules[J].Computer Engineering,2007,33(18):230-232,. |
| |
| Authors: | YE Li CHEN Jun-liang |
| |
| Affiliation: | (State Key Laboratory of Networking & Switching, Beijing University of Posts & Telecommunications, Beijing 100876) |
| |
| Abstract: | The automatic composition approach is an application of deductive program synthesis method in semantic Web services.The semantic of a service is defined as ,which stands for "input","output","precondition","effect",and "IO-vinculum" of the service.A template is used to transform this semantic into a first-order-logic formula.Based on the "proofs are programs" theory,by using an automated theorem prover,the proof from available services to object service is searched,and the implementation of the object service is extracted from the recorded proof path.A brief introduction of the prototype system is given. |
| |
| Keywords: | Web services service composition program synthesis theorem proof |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
