Un algoritmo de especificación y ejecución de coreografía basado en Máquinas de Estado Abstractas mejorado para Servicios Web Semánticos.

Identificamos debilidades significativas en el algoritmo de coreografía basado en Máquinas de Estado Abstractas (ASM) del Modelo de Servicios Web Ontológicos (WSMO) original, lo que lo hace poco práctico para su uso en motores de coreografía de servicios web semánticos. Presentamos un algoritmo mejorado que corrige las debilidades del algoritmo original, así como una implementación práctica y completamente funcional de un motor de coreografía en Flora-2 basado en el algoritmo mejorado. Nuestras mejoras al algoritmo de coreografía incluyen (i) la vinculación del estado inicial del ASM a la precondición del objetivo, (ii) la introducción del concepto de un estado final en la ejecución del ASM y su vinculación a la postcondición del objetivo, y (iii) la modificación de la ejecución del ASM para que se detenga cuando la condición del estado final es satisfecha por la configuración actual de la máquina. Nuestro motor de coreografía toma como entrada especificaciones semánticas de servicios web escritas en el dialect

Autores: Mehdipour Ataee, Shahin; Bayram, Zeki