Resumen

La corrección de la notación de modelado de procesos de negocio (BPMN) es esencial para el éxito del software, y la formalización de BPMN es la base del proceso de verificación de corrección. Sin embargo, adaptar dinámicamente el modelo formalizado de BPMN a los cambios en el modelo de BPMN y proteger los tokens para evitar que se pierdan en la formalización de remapeo son las principales limitaciones de la formalización de BPMN bajo requisitos comerciales cambiantes. Para superar estas limitaciones, en este documento se propone un enfoque para evolucionar un modelo de redes de Petri de acuerdo con los cambios en BPMN. En este enfoque, se diseña un algoritmo de verificación para identificar las diferencias entre el modelo de BPMN original y el modelo de BPMN actualizado. Luego, se definen las reglas de evolución del modelo de redes de Petri extendidas (EPN) de acuerdo con los resultados del programa de verificación. Finalmente, estas reglas de evolución se describen en el lenguaje de mapeo operacional de consulta/vista/transformación (Q

• Materias:Colonias de abejas artificiales Inteligencia artificial Patrón espacial Innovación de la comunicación Algoritmo de red neuronal
• Subjects:Artificial bee colonies Artificial intelligence Spatial pattern Communication innovation Neural network algorithm
• Palabras claves:Notación de modelado de procesos de negocio; Formalización de BPMN; Proceso de verificación de corrección; Modelo de redes de Petri en evolución; Redes de Petri extendidas; Evolución dinámica
• Keywords:Business process modelling notation; BPMN formalization; Correctness verification process; Evolving Petri nets model; Extended Petri nets; Dynamic evolution