10.3969/j.issn.1000-3428.2006.20.019
一种基于定理证明的Web服务合成方法研究
随着Internet中Web服务的不断增长,如何通过对现存的服务进行合成,以满足用户的个性化需求,成为目前的研究热点.通过引入线性逻辑工具,提出了一种新的Web服务合成解决方案,通过定理证明形成对应的自动服务合成流程.示例证明了该方法的有效性.
线性逻辑、Web服务合成、定理证明
32
TP391(计算技术、计算机技术)
四川省重点项目01GG012-01
2006-11-23(万方平台首次上网日期,不代表论文的发表时间)
共2页
51-52