Universidad de Castilla-La Mancha
 
Escuela Superior de Ingeniería Informática

 

  cambiar a curso:   2011-12   2013-14



Trabajo Fin de Grado 2012-13
 MODELADO DE SERVICIOS WEB COMPUESTOS CON TÉCNICAS FORMALES


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





 

Sindicación  Sindicación  Sindicación  Sindicación

Curso: 2012-13
© Escuela Superior de Ingeniería Informática
Edificio Infante Don Juan Manuel
Avda. de España s/n
02071 Albacete

informatica.ab@uclm.es
aviso legal
generar código QR de la página