Abstract
Although many IoT applications have been developed, a theoretical basis for interconnecting all things is still obscure. In order to establish a solid foundation for IoT applications, this chapter addresses three issues: how to model physical sensors and devices as IoT resources, how to introduce IoT resources into IoT services, and how to use distributed events to connect IoT resources and IoT services together to form an IoT service system. An IoT resource is defined by its static attributes and dynamic lifecycle; both of these are specified using semantic knowledge to enable automatic sharing and understanding. An IoT service is considered as a set of actions imposed on IoT resources to monitor and control the physical world. An example application is given in order to demonstrate a proof of concept for event-driven IoT services over IoT resources (streamlining events) to integrate IoT services.
Reference40 articles.
1. Baader & Snyder. (2001). Unification Theory. Academic Press.
2. Term Rewriting and All That
3. Baeten, J. C. M., Basten, T., & Renters, M. A. (2010). Process algebra: Equational theories of communicating processes. Cambridge University Press.
4. Automated verification of selected equivalences for security protocols
5. Specification of realizable service conversations using collaboration diagrams