Este artículo presenta una aproximación al modelado de la Coreogr afía de Ser vicios Web basado en Restricciones con el fi n de logr ar cier to gr ado de automatización en su defi nición. Se plantea la definición tanto desde el punto de vista estr uctur al como dinámico de los Componentes de la Coreografía de Ser vicios Web, con el fi n de r ealizar su poster ior representación en términos de un Problema de Ver ifi cación de Restr icciones. Se pr esentan los resultados de r endimiento del proceso comparado con otr as aproximaciones que demuestr an que el modelo es apr opiado para lograr automatización en la descr ipción del Pr oceso de Coreografía de Servicios.
展开▼
