Framework para la gestión de invariantes dinámicos en WS-BPEL
Identificadores
Statistics
Share
Metadata
Show full item recordDate
2011-09-27Department
Lenguajes y Sistemas InformáticosAbstract
Este Proyecto de Fin de Carrera (PFC) ha sido realizado en colaboración con el grupo de investigación SPI&FM (Software Process Improvement and Formal Methods) en su línea de Ingeniería Web. Esta línea de investigación se encuentra centrada en el desarrollo y perfeccionamiento de tareas de prueba de software para el lenguaje WS-BPEL. En concreto, el objetivo principal es refactorizar el proceso de generación dinámico de invariantes que realiza Takuan y realizar una interfaz gráfica (denominada IdigInBPEL) para facilitar el uso del sistema.