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
Citación recomendada (normas APA)
Hindawi, "An Improved Abstract State Machine Based Choreography Specification and Execution Algorithm for Semantic Web Services", -:Revista VirtualPRO,, 2018. Consultado en línea en la Biblioteca Digital de Bogotá (https://www.bibliotecadigitaldebogota.gov.co/resources/3861415/), el día 2025-05-04.
¡Disfruta más de la BDB!
Explora contenidos digitales de forma gratuita, crea tus propias colecciones, colabora y comparte con otros.
