Abstract: Choose services to satisfy the demand of function and Nonfunctional property of a service composition is a very important question in the domain of web service composition.Give a formalization method by using semantic and service quality to solve this problem.Match the composition's function property in semantic using Fuzzy Petri Net.Match the composition's QoS property using a Service nonfunctional match model.The simulation experiment show that the method can resolve the problem of service composition considering its semantic property and QoS.