| Wireless communication technology enables the extension of network terminals,and the era of Internet of Things(IoT),in which everything is connected,has arrived.The rapid development of IoT technology has enabled the integration of technology and system business in many fields,providing ubiquitous services for human life production and other activities.Smart home is an important application of IoT technology.With the continuous maturity of IoT technology,the industry is also gradually developing from intelligent single product control to scene linkage stage,where users can make interconnection between devices by customizing scene linkage rules,and interoperability within the system is greatly enhanced in the process.The increase in user demand has led to a gradual increase in the number of services in the system,and various smart devices have been embedded in it.The integration of devices and services has realized intelligent control of the system,but it also brings challenges to the system stability and greatly increases the possibility of service conflicts.Since the system environment is dynamic and random,and the services are constantly interacting with each other during the execution process,the method of avoiding service conflicts by changing the service logic at the system design stage cannot effectively detect and resolve the potential conflicts in the service system without analyzing the environment characteristics and interaction behavior in the system.Therefore,it is necessary to propose a dynamic service conflict resolution method to resolve various service conflicts in real time during the system operation phase.Based on the analysis of the complex environment entities within the smart home system,this paper investigates the dynamic conflict resolution mechanism.Firstly,the features of service conflicts are extracted based on the formal representation of service information and smart scene examples,and the service conflicts are classified into the following three categories:(1)failure to achieve effect conflict,(2)resource occupation conflict,and(3)side effect impact conflict,and the conflict discovery meta-rules are given for these three service conflict problems using the predicate logic representation,and the dynamic conflict resolution metarules are proposed by dividing the three phases of service execution as the Secondly,the system service logic and conflict resolution rules are described formally by combining with Norm analysis method,and the above business rule model is mapped to the assignment time coloring Petri net(TCPN)according to the given transformation pattern to realize the construction of the system service model and dynamic conflict resolution model.The number of service conflicts in the system is counted based on the simulation model of system services,and the feasibility and effectiveness of the proposed dynamic conflict resolution method are verified by comparing the simulation results of the dynamic conflict resolution model with them.The study shows that the dynamic conflict resolution mechanism proposed in this paper can effectively detect the conflicts in the service system and resolve the different types of service conflicts generated at each stage during the service execution process,and the system modeling method and transformation model given in this paper can map the service logic and other business rules in the system into the model,which has certain application value for the modeling of the service system. |