Business Process Models for Analysis of Industrial IoT Applications

Abstract

Industrial automation is a complex process involving various stakeholders. The two important aspects to consider during the automation system development are its business production goals and its technical implementation. The international standard IEC 61499 helps to specify distributed automation using a generic architectural model, targeting the technical development of the automation. However, it is not easy to analyse whether these IEC 61499 models satisfy production goals due to their informal semantics and inherent complexities of distributed logic. In this paper, we propose to use Business Process Model Notation (BPMN) to express the underlying IEC 61499 specification. We propose a transformation from an IEC 61499 specification to the BPMN model. This model presents the automation from a business point-of-view, and it also enables quantitative analysis of process models. Specifically, it allows business analysts to perform analysis related to cost, resource allocation, and time in automation. This analysis is achieved by transforming the business processes to formal model in Maude rewriting logic. The viability of our proposals is illustrated using an industrial case study of a packaging system. CCS CONCEPTS• Software and its engineering → Context specific languages; Formal software verification.

The Design of IoT-based Business Process for SME Digital Transformation: a Case of Unofficial Car Service Workshop

“…BPMN is a notation standard used to display a business process as an activity node connecting from the start node to the end node [22]. BPMN defines the notation and semantics of process, collaboration, and choreography diagrams [23]. Process diagrams model a business process as a sequence of activities.…”

IoT Modeling and Verification: From the CaIT Calculus to UPPAAL

“…Both model-checking techniques and process algebras are powerful tools for formal researches. Krishna et al adopted Business Process Model Notation (BPMN) to express the underlying IEC 61499 specification [4] and developed an IoT Composer tool to support the development of IoT applications [5]. All of these studies apply model-checking approaches for verification, i.e., systems are checked against formulas given in temporal logic [6].…”