Una contribución a las técnicas avanzadas de verificación de procesos de negocio y sistemas software abiertos

Abstract:

La búsqueda de notaciones y lenguales para la descripción de Procesos de Negocio (Business Processes, BP) ha sido uno de los objetivos del Modelado de Procesos de Negocio (Business Process Modelling, BPM) en los últimos tiempos. Como resultado de este esfuerzo, la Notación para el Modelado de Procesos de Negocio (Business Process Modelling Notation, BPMN) ha surgido como una notación gráfica estandarizada ampliamente aceptada para la documentación de BP. Sin embargo, por la heterogeneidad de sus construcciones y por la falta de una definición precisa de la notación, la especificación, el modelado y la verificación formal de BP se ve obstaculizado. En esta tesis doctoral, como parte de los trabajos relacionados con las

Año de publicación:

2011

Keywords:

Fuente:

google