Towards Feature Interaction via Stable Models

R. Accorsi, C. Areces, and M. de Rijke. Towards Feature Interaction via Stable Models. In Proceedings of the 2nd WFM, Florianópolis, Brasil, 1999.

Download

[pdf] 

Abstract

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 definition 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 verification and testing.

BibTeX

@InProceedings{Accorsi1999,
  author =       "R. Accorsi and C. Areces and M. de Rijke",
  booktitle =    "Proceedings of the 2nd WFM",
  title =        "Towards Feature Interaction via Stable Models",
  year =         "1999",
  address =      "Florian{\'o}polis, Brasil",
  abstract =     "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 definition 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
                 verification and testing.",
}