Generic Web Services Composition Verification Based on Batch Proof Method

Present verification techniques only verify the property of composition specification in one situation every time, there will be a substantial waste of effort. We propose batch proof method for verifying the property of generic services composition specification in all situations simultaneously. The main advantage of this method is to improve the efficiency of proof. The verified generic composition specification at an abstract level will be used in a variety of instances without repeating the proof.