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.