Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"WS-BPEL"”.
-
Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL
… El principal lenguaje para componer servicios es WS-BPEL 2.0, que ha sido estandarizado por OASIS con la participación de las grandes empresas del sector informático. Sin embargo, las principales técnicas de prueba no han sido adaptadas a WS-BPEL, quedando como uno de los principales retos para su …
-
Verificación y validación de composiciones de servicios web en ws-bpel con prueba metamórfica
… composiciones de servicios web es el lenguaje WS-BPEL. Se han implementado algunas técnicas y herramientas para probar este tipo de software, como por ejemplo la prueba de mutaciones o la generación dinámica de invariantes. Sin embargo, hasta el desarrollo de esta tesis no se había empleado la …
-
Aplicación de la prueba de mutaciones a composiciones de servicios web en WS-BPEL para la generación de casos de prueba de calidad
… composiciones de servicios web en el lenguaje WS-BPEL~2.0. Las arquitecturas orientadas a servicios, los servicios web y el lenguaje WS-BPEL permiten automatizar los procesos de negocio; además, el impacto económico de las composiciones de servicios web en WS-BPEL ha crecido de forma …
-
A Compositional Semantic Theory for Service Composition
… sources, including existing technologies such as WS-BPEL and WSMO, and the workflow patterns research, which defines a diverse collection of control-flow patterns which should be provided by a service composition language. My approach to service composition is based on Abstract Timed Process …
-
Formalizing languages for service oriented computing
… relation called conformance. Choreography allows us to describe systems of services from a global view point whereas orchestration supplies a means for addressing such an issue from a local perspective. In this work we present SOCK, a process algebra based language inspired by the Web Service …
-
Prueba de Mutación Evolutiva en Entornos Orientados a Objetos
… ha sido aplicada únicamente a composiciones WS-BPEL, a pesar de que se obtuvo un resultado positivo al seleccionar un subconjunto de mutantes a través de un algoritmo evolutivo a fin de mejorar el conjunto de casos de prueba. Como resultado, se desconoce a día de hoy si los mismos beneficios …