An Approach to Feature Interaction via Stable Models

R. Accorsi, C. Areces, and M. de Rijke. An Approach to Feature Interaction via Stable Models. Brazilian Electronic Journal on Mathematics of Computation, 1, 1999.

Download

[pdf] 

Abstract

In this paper we report on ongoing work on using a constraint-based approach towards feature interaction. From a logic specification of the Basic Call Service (BCS), we derive a labelled transition system representing this service. This graphical interpretation is implemented in smodels and tested for a variety of properties. We have devised a stepwise methodology for integrating features. According to our method, features act as constraints on models of the original basic system. On the one hand they forbid some of the original behaviour of the system (thus pruning some models), and on the other they give rise to new models, representing new behaviour. Using this methodology, we have implemented a small number of features on top of the basic call service, and we report on some of the tests that we have performed.

BibTeX

@Article{Accorsi1999a,
  author =       "R. Accorsi and C. Areces and M. de Rijke",
  journal =      "Brazilian Electronic Journal on Mathematics of
                 Computation",
  title =        "An Approach to Feature Interaction via Stable Models",
  year =         "1999",
  volume =       "1",
  abstract =     "In this paper we report on ongoing work on using a
                 constraint-based approach towards feature interaction.
                 From a logic specification of the Basic Call Service
                 (BCS), we derive a labelled transition system
                 representing this service. This graphical
                 interpretation is implemented in smodels and tested for
                 a variety of properties. We have devised a stepwise
                 methodology for integrating features. According to our
                 method, features act as constraints on models of the
                 original basic system. On the one hand they forbid some
                 of the original behaviour of the system (thus pruning
                 some models), and on the other they give rise to new
                 models, representing new behaviour. Using this
                 methodology, we have implemented a small number of
                 features on top of the basic call service, and we
                 report on some of the tests that we have performed.",
}