Especialidades

Computación

Tutor

VALERO RUIZ, VALENTIN
MACIA SOLER, HERMENEGILDA

Descripción y Objetivos

Implementación de dos módulos de transformación de especificaciones: el primero de ellos para transformar descripciones de servicios web compuestos escritas en WS-CDL a un modelo de red de Petri coloreada soportada por CPN tools, y el segundo para la transformación de orquestaciones escritas en el lenguaje BPEL+WSRF a redes de Petri coloreadas soportadas por CPN tools.

Metodología y Competencias

Redes de Petri.
Programación concurrente.
XML y XSLT.

Medios a utilizar

CPN tools, Jbuilder, Herramienta de soporte de XSLT.

Bibliografía

Asignación

El Trabajo Fin de Grado ha sido a asignado a Don/Doña MARÍA DÍAZ TELLO