Abstract
AbstractInternet of Things has become a common paradigm for various domains. To meet a user’s complex requirement, we should compose multiple IoT devices (IoT services) to provide comprehensive services to the user. However, these services usually coexist, which is likely to lead to conflicts. Moreover, each user may have different kinds of needs. Suppose that in a smart home there are more than one person, a conflict may occur when they request the same service in this environment. Actually, even though they request different IoT services, among which if there exists function impact or QoS impact, a conflict could still occur. In this paper, we propose to employ high-level Petri nets to detect conflicts among IoT services. We first model the formal methods for conflict policies. Then, we present a Petri nets-based mechanism for modeling and detecting conflicts. Finally, we expand the previous model and use high-level Petri nets for handling fuzzy IoT conflict policies modeling and reasoning. The experimental results show that the proposed approach performs well in accuracy.
Funder
Research on philosophy and Social Science in Hubei Province
the natural science foundation of Hubei province
the outstanding young and middle-aged science and technology innovation team of universities in Hubei Province
the innovation team of Hubei University of Science and Technology
the science and technology planning project of Xianning city
Publisher
Springer Science and Business Media LLC