In IoT scenarios, ways in which large-scale and cross-domain service systems can be established are still unclear, and no systematic or in-depth theories and methods have yet been found. An effective, formal foundation to IoT application designs could serve as a knowledge base for a variety of virtual world applications. Integrating and Streamlining Event-Driven IoT Services discusses how to observe isolated services running by different observation sources, how to fuse different observations to deal with observation conflict and incompleteness, and how to deal with adversaries and physical system features for real-time property enforcement over the fused knowledge. Overall, presenting an exploration of systematic theories and methods for the design of IoT services based on the principles of streamlining and integration, this book features research on topics such as CEP service, virtual machine technologies, and hybrid EPC. It is ideally designed for engineers, researchers, and university students seeking coverage on applications for smart cities, smart grids, and Industry 4.0.

Yang Zhang has a degree in computer applied technology from the Institute of Software, Chinese Academy of Sciences in 2007. His research interests include service-oriented computing, the Internet of Things, and service security and privacy. He currently works at the State Key Laboratory of Networking and Switching Technology, Beijing University of Posts & Telecommunications (BUPT), China. He leads a team doing scientific research on the theoretic foundation of EDSOA for IoT services.