Coordinating Stateful IoT Resources as Event-Driven Distributed IoT Services
In IoT applications, physical systems have not only discrete behaviors but also continuous dynamics; the corresponding aspects of the information world are called IoT resources. IoT services monitor and control these resources to ensure specific properties such as controllability and stability. An approach is proposed here that links together IoT resources, events, and IoT services based on requirement specifications. IoT resources are explicitly modelled as stateful to express the evolution of their current attributes and states from their previous ones. Multiple actions are modelled by specifying the indirect effects and causalities of their actions, and the interactions between physical processes and information processes are orchestrated as the coordination of the IoT resources (i.e., coordinating stateful IoT resources as IoT services). At runtime, the issue of how to solve the glitch problem is discussed based on an event extraction method. Finally, an evaluation is performed as a proof of concept for this chapter.