The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
IEEE Transactions on Software Engineering
Composing features and resolving interactions
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Feature integration using a feature construct
Science of Computer Programming
Feature specification and automated conflict detection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synthesis from incompatible specifications
Proceedings of the tenth ACM international conference on Embedded software
Supervisor synthesis for controller upgrades
Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |
We consider systems composed of a base system with multiple "features" or "controllers", each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a way that guarantees the "maximal" use of each feature. The methodology is based on the notion of "conflict-tolerant" features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based composition scheme for such features, which ensures that each feature is maximally utilized. We also provide a formal framework for specifying, verifying, and synthesizing such features. In particular we obtain a compositional technique for verifying systems developed in this framework.