SPASC: Strategy‐proof auction mechanism with cost and QoS incentive for service composition. (9th March 2021)