摘要：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.
其他摘要：This article presents an appr oach to modeling the Choreogr aphy the Web Services based constraints in order to achieve a cer tain degr ee of automation in its defi nition. This pr opose the definition from the point of view str uctur al and dynamic components of the Web Ser vices Choreography, with a view to their subsequent representation in ter ms of a Problem Verification Restrictions. In the wor k descr ibe in this paper, exper iments for analyse el per for mance compared with other approaches, our exper iments show that the model is appr opr iate to achieve automation in the description Process Choreography Services.
关键词：Servicios web; coreografía de servicios web; tecnologías web; verificación de restricciones. Web services; web services choreography; web technology; constra...
