AbstractWhile most literatures concentrate on composing services to reach complex service requirement, they all neglect one fact: service may has several operations which can also be composed to accomplish a complex function. This paper considers operation composition and imports linear logic to reason the correctness of composed operation. In the new framework, operation is expressed as linear logic axiom and the composed operation is expressed as linear logic theorem. With the help of correctness and completeness linear logic, we can verify the composed operation can meet the requirement. Experiment results show that the proposed method can improve recall rate of service discovery.