Choreography is one of the most important features of Web services. It allows to capture collaborative processes involving multiple services. In this paper, we are interested in analyzing the interoperability of Web services that support asynchronous communications which are constrained by data and timed constraints, using a model checking based approach. In particular, we deal with the compatibility problem. To do so, we have developed a set of abstractions and transformations on which we propose a set of primitives characterizing a set of compatibility classes of Web services. This paper is about the specification and implementation of this approach using the UPPAAL model checker.