Resumen

El Lenguaje de Descripción Coreográfica de Servicios Web carece de un sistema formal para expresar con precisión la semántica de los comportamientos de servicio y verificar la corrección de un modelo coreográfico de servicio. Este artículo presenta un nuevo enfoque de la verificación de modelos coreográficos basado en la Lógica de la Descripción. Se construye un metamodelo de coreografía de servicios que proporciona un marco conceptual para capturar la sintaxis y la semántica formales de la coreografía de servicios. A partir de este marco, se define un conjunto de reglas y restricciones en Lógica de la Descripción para la verificación del modelo coreográfico. Para automatizar la verificación del modelo, el modelo de coreografía de servicios basado en UML se transformará, mediante los algoritmos dados, en la ontología basada en DL, y así las propiedades del modelo podrán verificarse razonando a través de la ontología con la ayuda de un razonador DL popular. Se presenta un estudio de caso para demostrar la aplicabilidad del método. Además, el trabajo se comparará con otras investigaciones relacionadas.

• Materias:Análisis Matemático Matemáticas Algebra Ingeniería Lógica matemática
• Subjects:Mathematical Analysis mathematics Algebra Engineering Mathematical logic
• Palabras claves:Servicios web; coreografía; lenguaje de descripción; semántica; verificación de modelos; ontología
• Keywords:Web services; choreography; description language; semantics; model verification; ontology