Abstract
The introduction and modification of features in Internet applications may result in undesired behaviours, and this effect is known as feature interaction (FI). We advocate that constraint logic programming (CLP) is suitable enough to detect and resolve FIs, within a non-monotonic system modelled in layers, with interfaces defined by predicate negation. We illustrate the specification of Email basic services and the ten most widely used Email features. CLP provides mechanisms to detect FIs through model checking. FI resolution is implemented above following priority and tail elimination strategies.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have