Modern structured analysis
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Conflicts in Policy-Based Distributed Systems Management
IEEE Transactions on Software Engineering
Feature interaction detection: a LOTOS-based approach
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on the feature interactions in telecommunications systems
Feature Interactions in Telecommunications Networks IV
Feature Interactions in Telecommunications Networks IV
Feature Interactions in Telecommunications and Software Systems V
Feature Interactions in Telecommunications and Software Systems V
Smart Homes for Dummies
Feature Interactions in Telecommunications and Software Systems VI
Feature Interactions in Telecommunications and Software Systems VI
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Using Event Calculus to Formalise Policy Specification and Analysis
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
IRIS: A Semi-Formal Approach for Detecting Requirements Interactions
ECBS '04 Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems
Structured Analysis and System Specification
Structured Analysis and System Specification
Detecting requirements interactions using semi-formal methods
Detecting requirements interactions using semi-formal methods
URN: towards a new standard for the visual description of requirements
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Compatibility issues between services supporting networked appliances
IEEE Communications Magazine
A feature-interaction benchmark for IN and beyond
IEEE Communications Magazine
A taxonomy for identifying requirement interactions in software systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |
Feature Interaction is a problem mostly considered in the telecommunications domain. Many solutions for detecting interactions between telephony features have been reported. In this paper, we investigate the feature interaction problem beyond the traditional telecommunications domain and look at interactions between policies in other domains. We propose the use of semi-formal methods for detecting interactions between policies in the smart homes domain. The novelty of this research is threefold: firstly, a six step semi-formal approach, called IRIS (Identifying Requirements Interactions using Semi-formal methods), for detecting interactions is presented. A major component within IRIS, which is an interaction taxonomy, is also presented. Secondly, we extend the scope of the problem of feature interactions beyond telecommunication features and investigate interactions between policies in the smart homes domain. Thirdly, in order to show how IRIS is used to detect interactions between policies, a case study of the smart homes domain is conducted. A complete description of the results obtained is also provided. Our approach was successfully applied to the smart homes domain and was able to discover 83 interactions among 35 user policies using only 525 pairwise comparisons as opposed to 630 a human expert would have to do. These results support the paper's main claim of being able to use the semi-formal approach IRIS to detect interactions between policies. Furthermore, these results are to date the most complete publication of interactions between policies in the smart homes domain.