Modelo teórico para la especificación y gestión de procesos de negocio, sustentado en el uso de Big Data e Internet de las Cosas (IoT) / Conceptual theoric for the specification and management of the business process, based on the use of Big Data and Inte

Resumen

En este artículo se pretende establecer un modelo conceptual que representa las diferentes acepciones de los conceptos relacionados con la gestión y especificación de los PN, usando lenguajes y métodos formales, así como las ventajas de Big Data e IoT, sus innovaciones e implicaciones de las visiones más recientes entorno a ellos.

La revisión bibliográfica ha reflejado que existen algunos modelos y métodos que definen o expresan la gestión y especificación de las propiedades de los PN, pero solo algunos pocos han enfatizado en su gestión, especificación y verificación formal con el uso de Big Data e IoT (Aalst y Hee, 2004). No se encontró un estudio riguroso sobre cuáles de estos métodos y modelos expresan pasos claros de gestión y especificación de las propiedades de los PN y su relación con un lenguaje formal. Entre los autores que presentan documentos que reflejan el estudio de gestión, verificación y especificación de PN, están quienes proponen un conjunto de propiedades bajo el concepto de solidez (Eshuis y Wieringa, 2002) y los que permiten la definición de propiedades ad-hoc (Eshuis y Wieringa, 2002). En Foster, Uchitel, Magee y Kramer (2004), se proponen varios tipos de propiedades generales que todas las definiciones de composiciones de procesos deberían verificar y gestionar. Su diferencia con los trabajos anteriores está en que son propiedades diseñadas no para la verificación y control de un proceso aislado, sino para la composición de procesos. Ninguno de los modelos antes descritos incorpora el aspecto formal ni pasos bien definidos para la gestión; sin embargo, es posible tomar en cuenta los pasos para el control y las características de los PN que proponen estos autores, para buscar luego una expresión formal de estas en lógica temporal (LT) y una definición detallada de la gestión de los PN.