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 11 of 11 for “"BPEL"”.
-
Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL
… 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 considerable …
-
Sec-MoSC Translation Framework: An approach to transform business process models into executable process considering security requirements
… processos de negócio, respectivamente, BPMN e BPEL
-
Security Aware Service Composition
… runtime scenario, based respectively on Eclipse BPEL Designer and the Runtime Service Discovery Tool.
-
A Compositional Semantic Theory for Service Composition
… 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 Calculus. …
-
Búsquedas Genéticas: Métodos de optimización global y optimización combinatoria
… mutaciones para composiciones de servicios enWS-BPEL 2.0 mediante el empleo de un AG. Una de las características de esta propuesta es la optimización del número de mutantes a generar, de manera que no se generarán todos los posibles mutantes.
-
Formalizing languages for service oriented computing
… by the Web Service orchestration language WS-BPEL which catches the essentials of Service Oriented Computing. From the definition of SOCK we will able to define a general model for dealing with Service Oriented Computing where services and systems of services are related to the design of …
-
Structuring process models
… e.g., Business Process Execution Language (BPEL) and ADEPT. However, the well-structured process modeling implies some limitations: (i) There exist processes that cannot be formalized as well-structured process models. (ii) There exist processes that when formalized as well-structured …
-
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 …
-
A service orientated architecture and wireless sensor network approach applied to the measurement and visualisation of a micro injection moulding process. Design, development and testing of an ESB based micro injection moulding platform using Google Gadgets and business processes for the integration of disparate hardware systems on the factory shop floor
Factory shop floors of the future will see a significant increase in interconnected devices for monitoring and control. However, if a Service Orientated Architecture (SOA) is implemented on all such devices then this will result in a large number of permutations of services and composite services. …