Towards feature interaction via stable models
Riccardo Accorsi, Carlos Areces, Maarten de Rijke · UvA-DARE (University of Amsterdam) · 1999
. In this paper we propose a new approach to the problem of detecting feature interactions based on the stable models semantics for logical programs. Starting from a formal denition of a model of the Basic Call System, we encode the allowed actions and transitions by means of rules in the style of Reiter's defaults. We can then use tools like smodels to perform tasks like verication and testing. 1 Feature Interaction In the telecommunication domain, a feature is characterized as the addition of new functionalities over an already established telephone system. In [2], an extensive list of features is cited, from which Call Waiting, Call Forwarding and Automatic Call-Back are some examples. More generally in a software system, a feature is an optional unit or an increment of functionality over the base system. Feature interaction arises when the behavior of one feature inuences the behavior of another, mostly in an undesirable or unpredicted way. One simple example is the combinati...