Conflicts in Policy-Based Distributed Systems Management
IEEE Transactions on Software Engineering
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Feature interactions in embedded control systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Policy Conflict Analysis for Quality of Service Management
POLICY '05 Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks
A Policy-based Management Framework for Pervasive Systems using Axiomatized Rule-Actions
NCA '05 Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications
A survey of context modelling and reasoning techniques
Pervasive and Mobile Computing
Application Framework for Efficient Development of Sensor as a Service for Home Network System
SCC '11 Proceedings of the 2011 IEEE International Conference on Services Computing
Compatibility issues between services supporting networked appliances
IEEE Communications Magazine
Hi-index | 0.00 |
A home network system (HNS) coordinates various networked home appliances to achieve value-added services. If multiple services are executed at the same time, functional conflicts between the home appliances may occur. These are known as feature interactions (FIs) in the HNS. We have previously defined two kinds of FIs: appliance interactions and environment interactions. Environment interaction refers to an indirect conflict of different appliances in the home environment, which is generally more difficult to capture than appliance interaction. Due to a lack of an amount of environmental impacts and requirements to be satisfied, the previous definition missed some obvious environment interactions, or mis-detected many acceptable cases. In this paper we try to extend the previous formalization by introducing two new concepts. First we propose an environment impact model, which strictly defines how each appliance operation contributes to the environment properties. Second, we introduce an environment requirement to define the expected environment state achieved by each service. We then re-formalize the environment interaction by a condition such that the accumulated impacts violate the requirement of either of the services. A case study with five practical services successfully detects the interactions that could not be characterized by the previous definition.