Resumen

Los modelos de procesos empresariales deben estar alineados con las regulaciones, políticas y entornos que cambian con frecuencia. En el campo del modelado inteligente, las organizaciones se preocupan por la verificación automatizada del cumplimiento de los procesos empresariales, ya que la verificación manual es un trabajo que consume mucho tiempo e ineficiente. Existen dos problemas clave para la verificación del cumplimiento de los procesos empresariales. Uno es la definición de un lenguaje de recuperación de procesos empresariales que se pueda utilizar para capturar las reglas de cumplimiento, el otro se refiere a la evaluación eficiente de estas reglas. Los enfoques tradicionales de recuperación basados en sintaxis no pueden hacer frente a varios requisitos importantes de la verificación del cumplimiento en la práctica. Aunque un lenguaje de recuperación basado en semántica puede superar la desventaja de los basados en sintaxis, sufre la conocida explosión del espacio de estados. En este documento, definimos un lenguaje de consulta de modelos de procesos basado en semántica mediante la simplificación de

• Materias:Modelado matemático Modelo de red neuronal Tasa de convergencia Aritmética Ondículas libres
• Subjects:Mathematical modeling Neural network model Convergence rate Arithmetic Free wavelets
• Palabras claves:Modelos de procesos de negocio; Regulaciones cambiantes; Modelado inteligente; Verificación de cumplimiento; Lenguaje de recuperación; Basado en semántica;
• Keywords:Business process models; Changing regulations; Intelligent modeling; Compliance checking; Retrieval language; Semantics-based;