Abstract: With the increase of Web services on the Internet, how to compose the existing services to satisfy the individual requirements becomes a hot research focus. A new solution for composing Web services through theorem proving is put forward by importing linear logic tools. The automatic composing flow of Web services is obtained according to the proof process. In the end, the validity of the new method is also proved by an example.

Key words: Linear logic, Web services composition, Theorem proof

摘要： 随着Internet中Web服务的不断增长，如何通过对现存的服务进行合成，以满足用户的个性化需求，成为目前的研究热点。通过引入线性逻辑工具，提出了一种新的Web服务合成解决方案，通过定理证明形成对应的自动服务合成流程。示例证明了该方法的有效性。

关键词: 线性逻辑, Web服务合成, 定理证明

CLC Number: 

• TP391