搜索结果: 1-2 共查到“计算机系统结构 合成方法”相关记录2条 . 查询时间(0.152 秒)
一种基于定理证明的Web服务合成方法研究
线性逻辑 Web服务合成 定理证明
2008/12/19
随着Internet中Web服务的不断增长，如何通过对现存的服务进行合成，以满足用户的个性化需求，成为目前的研究热点。通过引入线性逻辑工具，提出了一种新的Web服务合成解决方案，通过定理证明形成对应的自动服务合成流程。示例证明了该方法的有效性。