Resumen

En este artículo se plantea un modelo teórico que representa las diferentes acepciones de los conceptos relacionados con las propiedades de los procesos de negocio (PN) sobre el internet de las cosas sustentados en big data. Para ello, se consideraron aspectos claves tales como la especificación y la verificación formal de las propiedades de calidad de los PN, los lenguajes y los métodos formales utilizados para lograr dicha especificación.

• Materias:Gestión industrial Gestión de la producción
• Subjects:Industrial procurement Production management
• Palabras claves:gestión, gestión de la producción, gestión de procesos de negocio, internet de las cosas, calidad, lógica temporal, big data, modelo
• Keywords:management, industrial management, business process management, internet of things, quality, temporal logic, big data, model