Detecting and resolving email feature interactions through constraints

摘要

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.