Formal model and method to decompose process-aware IoT applications

Abstract

The Internet of Things (IoT) integrates a large number of pervasive things that continuously generate data about the physical world. While such generated data can be sent to the Cloud for processing, more and more scenarios are considered where IoT created data will be stored, processed, analyzed, and acted upon close to or at the Edge of the network. Consequently, IoT applications require to be deployed in distributed environments. In this paper, we propose a formal approach for the decomposition of process-aware applications to be deployed in IoT environments. We model process-aware applications in Petri nets, formally define the decomposition process and prove its correctness. As a proof of concept, we have extended the Node-RED tool to allow the modeling, deployment and distributed running of IoT applications.