Este artículo presenta una aproximación al modelado de la coreografía de servicios Web basado en restricciones para lograr cierto grado de automatización en su definición. Se plantea la definición tanto desde el punto de vista estructural como dinámico de los componentes de la coreografía de servicios Web. Esto con el fin de realizar su representación en términos de un problema de verificación de restricciones. Se presentan los resultados de rendimiento del proceso comparado con otras aproximaciones, demostrándose que el modelo es apropiado para lograr automatización en la descripción del proceso de coreografía de servicios Web.