An Evolution Mechanism for Dynamic Physical Applications in the Internet of Things

Abstract

With rapid development of the Internet of Things, more and more smart devices are deployed in the physical space. A physical application is composed by several smart devices which provide physical data. The physical applications need appropriate physical information processing systems to process the related data. However, the physical applications are dynamic because of the ever-changing demands in the IoT. So it is necessary to design an evolution mechanism for the dynamic physical applications to find appropriate physi cal information processing systems. We first analyze the changi ng types of dynamic physical applications. Then we conclude three relationships between the dynamic physical applications and physical information processing systems. In order to verify the correctness of the evolution mechanism, we use Communication Sequential Process to formalize the evolution mechanism and use Process Analysis Toolkit to verify deadlock-free, divergence-free and nonterminating of the evolution mechanism.