Current Web services composition proposals, such as BPEL, BPSS or WSCI, provide notations for describing the control and message flows in service collaborations. However, they remain at the descriptive level, without providing any kind of mechanisms or tool support for verifying the composition specified in them. In this paper, we present an approach based on CP-net formalism to analyze and verify Web services composition. We provide translation scheme from composition language into CP-nets and the techniques to analyze and verify effectively the CP-nets to investigate several behavioral properties. Our approach is essentially independent of the language describing composition. As an example, to show the effectiveness of our technique, in this paper, we present the transformation of WSCI to CP-nets, which can be analyzed, verified and simulated as prototypes of WSCI models by the CP-net tools.