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
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículo:
Optimización multiobjetivo de la planificación de rutas de carga a gran escala para vehículos eléctricos y estrategia de precios de carga para estaciones de carga.
Artículo:
Congruencia de imagen personal, congruencia funcional e intención de uso de aplicaciones móviles
Artículo:
Un Nuevo Método de Prueba Dinámica en Línea para el Ruido de Transmisores de Radiodifusión
Artículo:
Algoritmo de Agrupamiento Basado en Confianza Segura y Eficiente en Energía para Redes de Sensores Inalámbricos Móviles.
Artículo:
La construcción de un sistema de gestión de eficiencia energética de una ciudad inteligente orientado a la agregación de datos móviles de Internet de las cosas.