Environment-oriented Internet of Things Service Modeling Integrating with User Requirements

Compared with traditional Web services, Internet of Things services have higher requirements on response speed, energy consumption and fault tolerance due to the resource constraints and dynamic variability of the physical environment in which they are located, affecting the overall characteristics of the Internet of Things systems. Therefore, it is very necessary to formally model the Internet of Things service based on the external environment where the Internet of Things service is located, and analyze and verify the model in combination with user requirements to ensure the correctness, reliability and stability of the Internet of Things system. For this reason, based on the idea of environment-oriented and fully considering the needs of users, a formal modeling method for Internet of Things services is proposed. Based on the description methods of the atomic service of the Internet of Things, the environment entities interacting with the service and the user requirements, the probabilistic timed automata is used to complete the modeling of the Internet of Things service and its physical environment, and the temporal logic formula is used to complete the modeling of the user requirements. Finally, taking the application scenario of intelligent clinic in the Internet of Things of hospital as an example, the specific modeling process of the Internet of Things service is explained, and the effectiveness and feasibility of the above modeling method are analyzed. This method provides scientific basis and implementation reference for the correctness verification of the functional behavior of Internet of things services and the satisfaction verification of non-functional constraints.