RT Journal Article T1 Modelo teórico para la especificación y gestión de procesos de negocio sobre el Internet de las Cosas (IoT), sustentados en Big Data T1 Theoric model for the specification and management of the business process,based on the use of Big Data and Internet of Things (IoT) A1 Mijares, M. D. A1 Bonillo, P. N. AB . Los Procesos de Negocio (PN) y el estudio de los aspectos que permiten especificar demanera formal sus propiedades y gestionar eficientemente los mismos, actualmente se hanconvertido en un tema de amplia investigación. Debido a la multiplicidad de elementos involucradosen el tratamiento de los PN y que su definición ha evolucionado en el tiempo, en este artículo serealiza una revisión histórica de los conceptos relacionados con la especificación formal de laspropiedades de los PN, la gestión y control de los mismos, haciendo especial énfasis en los PNasociados al Internet de las Cosas o IoT (Interconexión digital de objetos cotidianos con Internet), que además requieren que su persistencia se realice bajo Big Data, debido a la gran cantidad yvariabilidad de los datos y a las velocidades requeridas para procesar los mismos. Igualmente, seproponen algunos modelos conceptuales basados en las definiciones más recientes sobre este tema. Adicionalmente, se introduce la definición de las propiedades verificables de los PN. Este artículoforma parte de una investigación en progreso que tiene como objetivo facilitar un marco teórico quereúna la relación de los aspectos más importantes del proceso de especificación y gestión de los PN, sobre el IoT sustentados en Big Data AB The Business Processes (PN) and the study of the aspects that allow to formallyspecify their properties and efficiently manage them, have now become a subject of extensiveresearch. Due to the multiplicity of elements involved in the treatment of PNs and that theirdefinition has evolved over time, this article makes a historical review of the concepts related to theformal specification of PN properties, management and control of them, with special emphasis onthe PN associated with Internet of Things or IoT (Digital Interconnection of everyday objects withInternet), which also require that its persistence be carried out under Big Data, due to the largeamount and variability of the data and at the speeds required to process them. Likewise, someconceptual models based on the most recent definitions on this topic are proposed. Additionally, thedefinition of verifiable properties of PNs is introduced. This article is part of a research in progressthat aims to provide a theoretical framework that gathers the relationship of the most importantaspects of the process of specification and management of PNs, on IoT based on Big Data PB United Academic Journals YR 2017 FD 2017 LK http://hdl.handle.net/10272/17127 UL http://hdl.handle.net/10272/17127 LA spa DS Repositorio Institucional de la Universidad de Huelva RD 30 may 2026