Combined Use of PBMN and Rewriting Logic for Specification and Analysis of IoT Applications

Internet of thing (IoT) application is an environment that interconnects the real world with the digital world using smart devices (sensors and actuators). Modeling IoT applications has become a requirement; many researchers are interested in integrating business processes into the design of IoT applications. The BPMN 2.0 standard is the most popular standard to model business processes. In this paper, we propose an extension of BPMN 2.0 to model IoT applications and a transformation from the extended BPMN2.0 diagrams to equivalent Maude specifications for the analysis purpose. This approach is based on the metamodeling of the BPMN diagram for IoT applications using Eclipse Modeling Framework and Acceleo language to automate code Maude generation. Our approach is illustrated with an example.