Resumen de Diseño e implementación de un motor de ejecución de coreografías de servicios web semánticos basado en ontologías
Juan C. Vidal, Manuel Lama Penín 
, Adrian Novegil, Alberto José Bugarín Diz
En este trabajo se presenta el diseño e implementación de un motor basado en ontologías para la ejecución de coreografías de servicios web semánticos. Este diseño ha estado guiado por (i) la independencia de la aproximación de descripción de la coreografía de los servicios web semánticos; (ii) la flexibilidad a la hora de integrar de forma sencilla el ejecutor en otras aplicaciones; y (iii) el uso de un formalismo (redes de Petri de alto nivel) que permita comprobar las propiedades del flujo de trabajo asociado a la coreografía del servicio web. Este motor se ha probado con servicios especificados en OWL-S y su implementación ha sido realizada en FLORA-2 debido a las capacidades expresivas del lenguaje F-Logic, y se ha definido una capa Java que permite la integración del ejecutor en aplicaciones externas.
