Cloud service has a style of "pay as you go", and the providers and consumers are conducting business on a virtual market platform. Different from normal article market, cloud service as a software can be sold more than one copy to different customers. However, the QoS must be descended for the concurrency value, and conversely leads to the reduction of demands and price. Owing to its exclusive economy properties, this paper presents a market model and a trading model for cloud service firstly, and then a market mechanism is designed to meet the requirement of social optimal. At last, an instance is given to illustrate the effectiveness of the mechanism proposed by this paper. Compared with the normal market, cloud service market and trading considered the particular properties, such as right of use/ownership, multiple copies, and the concurrency value. Except for formalize the market and trading, to direct the operation and reality, a detail mechanism with allocation and pricing policies have been designed in this paper, and it can be taken as a method to instruct government or enterprise to adjust to control the cloud service market.