A Dimension Model for Conflict-Free Service Management in Smart Environment Control System

Smart environment control system automatically adjusts the elements in the environment (e.g., temperature, light, wind) according to monitoring results and users´ requirements, so it is very important of preventing conflicts within or among service requirements. In this paper, we propose a novel dimension model for conflict-free service management in smart environment. In this model, individual elements in the environment are abstracted into different dimensions, such that multiple dimensions construct a space and each service can be formulated by a service space. By using algebraic logic for space calculation, the conflict detection within a service is simplified into intersection and/or union operations between subspace sets of this service. We further propose the rules of integrating all individual service spaces into a comprehensive service space, which represents the desired system state. Such integration can transfer intra-service conflict detection into inner-service conflict detection, and so simplify the conflict detection process. Theoretical analysis and experiment results show that the proposed dimension based model is effective and efficient for conflict-free service management in smart environment control system.