Some constraints are put forward to make analysis of compatiliby decidable and an algorithm is provided for verification of compability. 2.Offer constraints for substitution of Web service.

• 在此基础之上，通过自底向上的合成分析，研究Web服务合成的相容性问题，提供相容性的分析步骤，并给出判定算法验证Web服务合成流程的正确性。