|
|||||
|
|
| 一种基于定理证明的Web服务合成方法研究 | |
| 作者姓名： | 余强 梁丽 |
| 作者单位： | 西华大学数学与计算机科学技术学院,成都,610039;西华大学数学与计算机科学技术学院,成都,610039 |
| 摘 要： | 随着Internet中Web服务的不断增长,如何通过对现存的服务进行合成,以满足用户的个性化需求,成为目前的研究热点。通过引入线性逻辑工具,提出了一种新的Web服务合成解决方案,通过定理证明形成对应的自动服务合成流程。示例证明了该方法的有效性。 |
| 关 键 词： | 线性逻辑 Web服务合成 定理证明 |
| 文章编号： | 1000-3428（2006）20-0050-02 |
| 收稿时间： | 2005-11-03 |
| 修稿时间： | 2005-11-03 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程》浏览原始摘要信息 | |
| 点击此处可从《计算机工程》下载全文 | |